Check with: ```ka %agent: A(c{=0 / += 7}) . -> A() @1 A(c{<=6}) -> A(c{+=1}) @1 ``` >> KaSim --compile First rule is compiled into: A(c{=0} c__inverted{=0})+ @ 1 instead of: A(c{=0} c__inverted{=7})+ @ 1