Changed name of rule class to NoFreeVars