cannot pass macros through the spin preprocessor
must pass flags already when generating code: spin -DPRIOS -a file.pml
merge functions with the same content and replace calls
4085 to 2921 lines pml
contract call chains of functions which only contain one call
2921 to 2164 lines pml
simplify before dot and pml
only set status to DONE at the end of Process not Function!