LMMReducibleQ[lmm]
yields True if lmm has an equivalent formulation with fewer steps and False, otherwise.
Check if a method is reducible:
Adams–Bashforth methods are irreducible:
LMM LMMReduce