Utilities for
bddbddb
-based program analyses.