Model Checking Programs Using Python Libraries