(VAR x y z)
(RULES
*(one, y) -> y
*(i(x), x) -> one
*(*(x, y), z) -> *(x, *(y, z))
h(*(x, y)) -> *(h(x), h(y))
)
(COMMENT Example GE1 in \cite{WSW07})