Argumentation: Updated Preferred encoding and graph generator.

Changes due to Günther.