Iterable

Iterable is used at run time in 3 crates (of which 1 optionally). It is a direct run-time dependency in 2 crates.

Depender (with downloads and own rev deps)			Iterable version
700	1	prusto		^0.6
		prusto-rs		^0.6