Cryptol.TypeCheck.Solver.Utils
splitMins
splitVarSummands
splitVarSummand
splitConstSummand
splitConstFactor