Modified print in foundAssignmentRule