Fish

Excited!

We don’t really support displaying CGC syscalls (yet)…

I agree that CGC is great... It should not be difficult to implement CGC syscall support in AIL, given that @mborgerson already supported Linux syscalls. I'll take a look when...

Let's not change it as it's going to impact too much existing code, much of which is not written by us. The ship has sailed at this point.

FYI, the definition of Extract arguments comes from SMT-LIB2: https://stp.readthedocs.io/en/latest/smt-input-language.html It would be nice to keep compatibility with the “industry standard.” Supporting two combinations of arguments is a good way...