[erl-frontend] Adjust translation of expression Case
[erl-frontend] Adjust translation of expression Case

Summary:
There should be no change in semantics:
  - before: the "crash node" modelling throwing an exception was connected directly to the exit of the procedure
  - now: the "crash node" goes to exit_failure, which should end up being connected to the exit of the procedure by the `translate_one_function`

The latter is closer to what we'd need to do when we eventually model
throwing and catching exceptions (rather than just reporting an error
the moment we see them thrown).

Differential Revision: D29540834

fbshipit-source-id: c4de4c391

facebook/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer