let add_zone ~exact lmap zone sid = let new_val = StmtSetLattice.single sid in let lmap = LM.add_binding exact lmap zone new_val in lmap