Temporarily stub out the catalog for constraint-solver tests