let empty ~keep cfg =
      Wp_parameters.debug ~level:3 "[calculus] get invariants mode@.";
      { mode = Pass1; keep_res = keep; cfg = cfg;
        obligs = [] ; tbl = HE.create 97 ; inv = HI.create 97 ;}