let very_strange_loops cfg =
let strange n = match node_type n with
| Vloop (Some _, _) | Vloop2 _ -> false
| _ -> true
in let loops = loop_nodes cfg in
let strange_loops = List.filter strange loops in
debug "%d/%d very strange loops"
(List.length strange_loops) (List.length loops);
strange_loops