let merge_after after_full =
    Cil_datatype.Stmt.Hashtbl.iter
      (fun stmt st ->
         try
           let prev = Db.Value.AfterTable.find stmt in
           Db.Value.AfterTable.replace stmt (Cvalue.Model.join prev st)
         with Not_found ->
           Db.Value.AfterTable.add stmt st
      ) (Lazy.force after_full)