Changed precondition check mechanism.