Interfaces for inspecting and constructing AIGs from literal syntax trees.
Also testing interfaces for quickchecking with AIGs.