
assocRange(fun(forall,[],[arr([x],[var(a,[idx(x,assoc(D,[x->C]))],assoc(D,[x->C]),assoc(A ,[x->B]))],assoc(A,[x->B]),assoc(A,[]))],assoc(A,[])), _, _).

