Failwith rule

Implemented #34