let add = Stmt.Set.add