ap.theories.nia
The ConstantTerms in list are given highest order according to the sorting of list. Falling back on ordering if not found in list
The ConstantTerms in list are given highest order according to the sorting of list. Falling back on ordering if not found in list