pub fn block_in_cycle(body: &Body<'_>, block: BasicBlock) -> bool
Checks if the block is part of a cycle