Constraint(CType t, Constraint *l, Constraint *r);
Constraint(CType t, Constraint *l);
Constraint(CType t, uint num, Constraint ** array);
Constraint(CType t, Constraint *l, Constraint *r);
Constraint(CType t, Constraint *l);
Constraint(CType t, uint num, Constraint ** array);