Variable names now correctly printed when printing rules;