Command line flag -o and orig uses the original RHT. Flag -n and new use single sided. Variable orig=(Boolean) could also be set.

"Original" is propagated properly through the program, from top level methods down.