compute iteration domains for steady period
add and use helper: first_infinite_dimension
buffer size: fix map of consumed sources (limit range)