Simplify cyclic readResolve test