Static Dependency Issue

[llmhyy]

I need a function f, given any two statement s1 and s2 in project, f can return whether s1 control dependent on s2 or vice versa.