documentation for iq_iterated.py and mcrl.py