moved xquf_op.maude