Tmc: Added support for generation of promela objects required by promela...
Tmc: Added support for generation of promela objects required by promela generated by sdl2promela, it is used to provide support for power builtin in SDL
Tmc: Added support for generation of promela objects required by promela generated by sdl2promela, it is used to provide support for power builtin in SDL