added eliminateImpliesQE function call