don't redefine decs_to_cenv in ml_translatorTheory