public void visitNewArrayExpr(final NewArrayExpr expr) {
		// new t[i]
		// array-1-of-t <= [new t[i]]

		if (!expr.elementType().equals(TypeInference.UNDEF)) {
			start(expr, expr.elementType().arrayType());
		}
	}