Support compound literals and initializers.
Support abort.
Support functions without return statements in the frontend.

We achieve this by inserting a dummy return at the end when needed.