public override void DeclareConstant(Constant c, bool uniq, string attributes)//Contract.Requires(c != null);
{
base.DeclareConstant(c, uniq, attributes);
orderingAxiomBuilder.AddConstant(c);
// TODO: make separate distinct lists for names coming from different types
// e.g., one for strings, one for ints, one for program types.
if (uniq)
{
distincts.Add(c);
}
}
