RelEx2Logic: slightly updated create-abstract-version

Updated slightly in case this is needed again.

Made it so that the function can be called after `(r2l "...")` call (previously assumed `relex-parse` call), and preserve original TV.