Syxc: Hacked local evaluation of unfolding expressions into Syxc.       WORKS, BUT WILL BE REWRITTEN SOON
Syxc: Hacked local evaluation of unfolding expressions into Syxc.
      WORKS, BUT WILL BE REWRITTEN SOON

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors