debugging...
Merge branch 'hashval' of https://github.com/thomasjball/PyExZ3 into hashval
even more debugging...
another one...
Merge branch 'hashval' of https://github.com/thomasjball/PyExZ3 into hashval
finally found the source of problem (no radd)

Major problems in code - doesn't handle general expressions!