Symbol: get_constraint_name