Symbol: new_constraint_spec