Added in a ControlFlowGraph to increase the accuracy of the MultiplierFinder.