use maude for normal form check, this allows
to use the variant computation with rules
that contain AC symbols in the RHS