polyhedral model: support range as source of mapping
polyhedral model: support constant range as function result type