Harden probcut precondition, and reduction = 4 plies (current)