Determine whether the transfer to next block will lead to cycle visit @param current current block @param next next block to transfer @return is cycle
(CodeBlock current, CodeBlock next, HashSet<Integer> history)
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected