(load "rule-compiler")
(load "matcher")
(load "rule-simplifier")
(define (rule-memoize x) x)

(load "rules")