@override String visitNotExpr(NotExpr notExpr) { final str = notExpr.expr.accept(this); return 'not $str'; }