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 ;}