updated to allow calling after r2l(...) calls, and preserve TV
Merge pull request #1114 from williampma/abstract-update

RelEx2Logic: slightly updated create-abstract-version