Default value for inverted counters is not set apropriately in initial states in KaDE. #687
Description
Check for instance:
%agent: A(c{=0 / += 2})
'tick' A(c{<=1}) -> A(c{+=1}) @ 1
%init: 1 A()
{{ message }}
Check for instance:
%agent: A(c{=0 / += 2})
'tick' A(c{<=1}) -> A(c{+=1}) @ 1
%init: 1 A()