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