LPO
lexicographic path order (strict precedence)

KBO
KnuthBendix order (strict precedence)

POLY
linear polynomials with (intermediate) coefficients in
{ 0, ..., 31 (63) }

total
combination of KBO, LPO and linear polynomials

dpLPO
dependency pairs, dependency graph decomposition,
symbol counting and LPO
