minor precondition test refinement