Symbol: BASIC_CONSTRAINTS_new