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