Regression14.dfy(11,15): Error: member 'Func' does not exist in class 'MyClass'
Regression14.dfy(22,17): Error: member 'D' does not exist in class 'MyClass'
2 resolution/type errors detected in Regression14.dfy
