Pass information about reason for a precondition failure upward