Expose some additional bitvector operations
Add a tracing module that intercepts calls to the AIG interface and logs them.