(def-rule (+ @a) @a)
(def-rule (* @a) @a)
(def-rule (+ @a @a .) (+ (* 2 @a) .))
(def-rule (+ @a (* $i @a) .) (+ (* (+ $i 1) @a) .))
(def-rule (+ (* $i @a) (* $j @a) .) (+ (* (+ $i $j) @a) .))