let union = Stmt.Set.union