symbolic n;
{ [i] -> [i+1] : 1 <= i <= n }+;