Improves performance of EquivlenceChecker dramatically