path: root/omega/examples/old_test/blume1.w

symbolic n, line5expr(2);

$$
\{ [i,j] -> [i',j'] \mid line5expr(In) = line5expr(Out) && 2 <= j <= 1 && 1 <= i <= n && 2 <= j' <= 1 && 1 <= i' <= n \};
$$