{motive : Aesop.RegularRule → Sort u} →
  ((r : Aesop.SafeRule) → motive (Aesop.RegularRule.safe r)) →
    ((r : Aesop.UnsafeRule) → motive (Aesop.RegularRule.unsafe r)) → (t : Aesop.RegularRule) → motive t