Checking a Custom Safety Property Posted on March 27, 2018 (March 27, 2018) by Michael https://westergaard.eu/wp-content/uploads/2018/03/Checking-a-Custom-Safety-Property.mp4