Low code quality. Don't run this on your machine.

• No contract documentation
• Written in C, who knows whether a pointer parameter has sink/inout/let/set access effect
• lots of string based equality checks in ir.c. Why does the IR even deal with strings?
• See https://github.com/stlab/better-code/blob/main/better-code/src/chapter-2-contracts.md and the other chapters.

If you would like this project to work, hire a compiler engineer.