Added RelaxedEqualsPreconditionTest