Restriction to the compilation of letrecs made effective