fixed a side-effect non-term. bug in slr+