Argumentation encodings update

updated Argu encodings for current dflat