https://digitalixy.com/tech/maude/devops/what-is-just-in-time-jit-compilation/