add exercises on promela