Covariant Equals Check compilable UT inputs