let loop_nodes cfg = match cfg.loop_nodes with Some l -> l
  | None -> Wp_parameters.fatal
              "Cannot use the loop nodes before having computed them"