sync AAG implementations
allow setting a seed to make the fuzzer deterministic