Translation for unreachable statement.
* As "assume false".
* Without this, Boogie will complain about an irreducible control graph.