ExpressionTransformer #1152: Qualify recursive local methods with this
Test for #1152: Cannot write recursive local function
CMRTest: fixed typechecker error that changed