StructurizeCFG: Use LoopInfo analysis for better loop detection