shifted the position of a precondition check