Method CFail.throws to convert check failure into exception.