Control dependency incompleteness

[onlytheworld]

The entry node is incorrectly controlling only the function entry BB block, and the control dependency edge also lacks the True vs. False distinction, which caused a lot of trouble for me analyzing the control dependency

[webbrain-one]

Thanks for flagging this! I’ve opened #26 to address the control dependency incompleteness. This PR ensures the entry node properly controls all relevant blocks instead of just the function entry BB, and it adds the missing True/False distinction to control dependency edges. Let me know how it holds up during your analysis—thanks again for the detailed report!