Disabling learned clause removal when incremental proof-logging is running (tends to generate smaller abstarctions).