Dead code elimination: Reduce S_Return(E1_Block).
Dead code elimination: Better handling of E1_Surround.
Delete unused results: Handle S1_Consume.
Enable maximum depth in function isNonRecursive(), although this feature is unused for now.