ifstatement cfg