Promela Compiler / Interpreter for ProB