Some utilities for the CFA solver.