Model Checking Programs Using Tuples In Python Are Immutable