temporal_model_checking Demonstration code for medium blog https://medium.com/towards-nesy/temporal-logic-model-checking-cf05fc917688