Control dependency incompleteness

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