checks if the condition of a control flow is true from visit_controlflow() on for-loop, while-loop, if,else if statements