Proper rule matching tests