DecreasesTo2.dfy(5,24): Error: invalid UnaryExpression
DecreasesTo2.dfy(9,21): Error: ident expected
DecreasesTo2.dfy(9,12): Error: expected 'to'
DecreasesTo2.dfy(13,10): Error: invalid ParensExpression
4 parse errors detected in DecreasesTo2.dfy
