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)