Thanks for that. Looks like only SPARK is available in the operating system that I use. That is one big problem with research software and software research, it

Thanks for that. Looks like only SPARK is available in the operating system that I use. That is one big problem with research software and software research, it is often disconnected from the programmer community. BTW, what do you think of this tool? https://github.com/TrustInSoft/tis-interpreter https://github.com/TrustInSoft/tis-interpreter