fixing Call-By-Need rules