Include standard cuts in analysis. Make it more suitable for proof analysis: eliminat...