More tests for promela datamodel