BUGFIX: aborting a state machine wasn't working.
BUGFIX: finally {} blocks sometimes fail to compile.

Placed the finally {} block checking before the finally statement
checking. This seems to disambiguate between the two.