fix fail name
grr
Merge pull request #264 from ucsd-progsys/inline_failure_in_cases

inline_failure_in_cases