let default () = Stmt.Set.empty