Accept &diff in body

[susuhahnml]

I get an error when using &diff in the body.

echo ':-  &diff{t(K) -t(K+1)} <= -M, &diff{t(K+1) -t(K)} <= N-1, not s(K, (M,N)), interval((M,N)), N!=w, time(K+1), time(K).' | python -m clingcon              ─╯
clingcon version 5.2.1
Reading from stdin
-:1:6-10: error: unexpected operator:
  >
-:1:6-10: note: expected one of:
  <=

[rkaminsk]

Done.