Symbol: get_constraint_str