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"