Slightly smarter translation to T2 format
Slightly smarter translation to T2 format

Now, variables are not always reset on every transition, but only those
variables where we cannot establish that they remained unchanged. This
allows to use slicing techniques that were confused by the constant
resetting...

mmjb/SMTPushdown