Eliminated algebraic parameters are not given an explicit range.
Consider the following model:
group def X(alg int y):
end
x: X(1);
After elim-comp-def-inst
we obtain:
group x:
alg int y = 1;
end
After pretty printing the second model, we obtain:
group x:
alg int[1..1] y = 1;
end
Shouldn't the second model already have been pretty printed as a result of elim-comp-def-inst
?