DeclAssumCons now used, cheat removed from translator