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, undefined if we cannot tell
undefined
Checks whether a loop only loops once