Added option DISABLE_CUTTING_LHS.