change representation of counter-arguments