Renamed argumentation encodings

according to used naming scheme