Adding an iterator, giving an order to record mapping
using a new tt_mapper.ml