Small conversion change
Added reg009 for catching unification problem
Undo unification changes... because it's broken...