- Added a first (untested) version of a validator for argument graphs