make aggressiveVariableElimination usable through a setting