branches loop if contains explicit recur or if in statement position