Adding test for checking rule invalidity