revised cut implementation; identify more cases in peephole optimizer