adapted to general degrees, rather than fixed set of degrees; better namings
adapted to general degrees, rather than fixed set of degrees; better namings

plum-umd/adaptive-concretization,plum-umd/adaptive-concretization