disable aggressiveVariableElimination for now