We can use a trivial relation for proving the map-iterate property.
Added missing file from commit 0f0c058a36de04764b84fe5f1f50063fc4d29e90.