number of issued ballots are recordedfor simple users

[magwas]

Behaviour: Manage votes/Obtain ballot;the number of ballots obtained with anon adminkey are recorded with the proxy id of the user

@tested_feature("Manage votes")

@tested_operation("Obtain ballot")

@tested_behaviour("the number of ballots obtained with anon adminkey are recorded with the proxy id of the user")

A testable aspect of function: a set of pre- and postconditions.

Deviation in model