let print_phis verbose_flag = 
    let phi_print flag name ref_phi = 
      if (flag) then
        begin
          Message.msg_string Message.Normal 
            ("Variable " ^ (Ast.Expression.lvalToString name) ^ 
             "\nPhi =\n" ^ (Region.to_string !ref_phi) ^ "\n\n"); 
          ()
        end
      else
        begin
          if !ref_phi = Region.bot 
          then () 
          else
            (Message.msg_string Message.Normal 
              ("Variable " ^ (Ast.Expression.lvalToString name) ^ 
               "\nPhi =\n" ^ (Region.to_string !ref_phi) ^ "\n\n"); 
             ())
        end
    in
    iter_global_variables (phi_print verbose_flag);
    "Done"