Checking a Custom Safety Property

Here, we extend the example to also check a simple mutex property, that two philosophers next to each other cannot eat at the same time.