Solves correctly for expressions that traverse a reference. For example
Solves correctly for expressions that traverse a reference. For example

A
    B -> C *

C *
    D 2

[#A.B.D = 8]

Will now correctly compute that we need #B=4 to make #A.B.D=8 satisfied.

juodaspaulius/bclafer_old,gsdlab/clafer,juodaspaulius/clafer,juodaspaulius/clafer-old-customBNFC,gsdlab/clafer,juodaspaulius/clafer