(datatype Math
  (Num i64))

(Num 1)
(Num 2)

(rule ((Num ?a)
       (Num ?b)
       (= (+ ?a ?b) 5))
  ((panic "should not have matched")))

(run 100)