Symbol: have_full_constraints