Add and use specific error code to indicate precondition violations