Add eunit test based on eqc counter example