Code simplification in Tacenv.