Copied over from the WhileyCompiler repository.  This is a very very rough initial draft.