let empty ~keep cfg =
      debug "start computing (pass 1)@.";
      { mode = Pass1; keep_res = keep; cfg = cfg; tbl = HE.create 97 ;
        obligs = LabObligs.empty ; memo = LabObligs.empty ;}