Checks whether a loop only loops once
nodeid of the loop to analyse
dataflow graph
control flow graph
normalized ast
current flowr analyzer context
true if the given loop only iterates once
Checks whether a loop only loops once