I actually don't want anything, neither as a participant for my tool or an organizer for the formatting script. Whatever the rules end up being my tool will support them (modulo bug) and I'll modify the script in consequence. I was trying to make the rules simpler.
chc_tail my point was simply that we can remove the first two variants and only keep the
The formatting script produces systems in a fragment a bit more restrictive than the one from the rules, I'll update the google doc shortly if you want to take a look.
scripts/check.sh), if you come up with illegal benchmarks that these test files do not cover let me know or submit a PR :D