Added support to verify variable transformation M(Q) -> M(t)