Updating one more copyright year
Call Gate's right-hand-side 'rhs' instead of 'eqLit'
Renaming function
Fixing initialization order
Oops, debug output got into the code. Removing
Vivification has been renamed to distillation

So rename it in the regression test suite as well