"Range must be bounded by constant expression" - Error from a constraint block

In reply to naveensv:

It’s not really clear how total_count and legal_next are related to each other. Is it that total_count[0] selects the first t0 elements from single_dimension, followed by total_count[i] selecting the next t1 elements and so on?