Added better filter to the isomorph checker.