let singleton = Stmt.Set.singleton