Instead of these changes, can we just require all rules to have at least one program the causes the rule to pass and at least one program that causes the rule to trigger?