let empty = Stmt.Set.empty