Refactor to remove unnecessary attribute Rule.should_exist