A Simple Runtime Invariant Miner: A tutorial on how to build a Daikon like program invariant miner for Python.