fix: error in lift bound
fix: missing delete
fix: wrong index
fix: make sure the right level is computed
chg: leave precomputeLeadingCoeff in corner case
chg: back to old version
chg: update leading coefficients if multiplier non-constant