In that case, replace the block with an `Assumption.fail`