Dead code elimination: Allow instance creation to be a pure expression