let add_memo res e obj = debug "Memo goal for Pass2 at %a=@. @[<hov2> %a@]@." Cil2cfg.pp_edge e W.pretty obj; res.memo <- LabObligs.add_to_edge (res.memo) e obj