Support XEDGE_HERE properly in the SMT backend too
Support XEDGE_HERE properly in the SMT backend too

msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler