Fix tseitin tranform of numerical ops - recurse down.