Utilities for bddbddb-based program analyses.