A set of basic tools for manipulating SyGuS benchmarks - View it on GitHub