Fix ml_translatorScript

Fix the two commented out lemmas. But the translator doesn't work.