Draft: Fixing empty file problem

Attempt to fix #623

There were three problems that were listed in the issue #623.

Problem 1 seems to have been resolved already in 2ceaa530.

So far I've made changed to partially solve problem 3. The program behaves like the issuer specified, when compiling when compiling to C. However, the solution has caused several assertions to fail.

I haven't started on problem 2 yet.