AddScore(Player : agent)<transacts> : void =
    set CurrentScore += 1