deactivate TransitivePrecedenceOptimizer temporary for benchmarks