Symbol: constraint_str_to_state