#1 loc HOAs aren't recognized

[Eric Johnson]

If I declare
loc Tree x X Y
and then try to refer to
x.a
I get an error message about x not being a known term.
I suspect the reduction of locals is not handling this
case correctly.