Definition ruleDoesNotHaltOnMatch (r : rule) : Prop :=
  ((rConclusion r) = RC_Allow \/ (rConclusion r) = RC_Deny).
