Added reduction, but not in step initial operadic Buchberger
FlexLieAdmissible with reduction.