Cryptol.TypeCheck.Solver.Utils
splitVarSummands
splitVarSummand
splitConstSummand
splitConstFactor