(load "expand-only.ss")
(load "mktests.scm")


(display (expand-only '(conde) '(conde (g1) (g2))))
(newline)

(display (expand-only '(conde mplus*) '(conde (g1) (g2))))
(newline)

(display (expand-only '(conde mplus* bind*) '(conde (g1) (g2))))
(newline)

(display (expand-only '(fresh) '(fresh (x) g1 g2 g3)))
(newline)

(display (expand-only '(fresh bind*) '(fresh (x) g1 g2 g3)))
(newline)