Cryptic error "1/1[model.ka] Counters in A should have tests by now"

[hmedina]

Using KaSimWeb (whatever version is running 7:30pm Boston time), using the test suite model under models/test_suite/compiler/counters_2_levels/counter_2.ka, changing the default value of the counter to 2, produces the above cryptic error on line 4, underlining the first occurrence of agent A.

To reproduce, just copy this code:

%agent: A(s1{u,p},s2{u,p},c{=2 / +=2})
%init:	40 A()

A(s1{u},c{=x}) -> A(s1{p},c{+=1}) @ 3*7^x
A(s2{u}[.],c{=x}) -> A(s2{p}[.],c{+=1}) @ 3*7^x

A(s1[.]{p},c{=x}) -> A(s1[.]{u},c{+= -1}) @ 2*5^x
A(s2{p},c{=x}) -> A(s2{u},c{+= -1}) @ 2*5^x

What does the error mean?