private void PrintDeclarationsAndConstraints(IConstraintManager cm)
{
Printer.PrintSortDeclarations();
Printer.PrintVariableDeclarations();
Printer.PrintFunctionDeclarations();
Printer.PrintCommentLine(cm.Count.ToString() + " Constraints");
foreach (var constraint in cm.ConstraintExprs)
{
Printer.PrintAssert(constraint);
}
}
