refactor CounterMuation constructor