playing with promela and slp