Control dependence can be tackled with our predicate method by
being transformed into data dependence. All the fully developed data
dependence analyzing methods can be uniformly applied afterwards.
Dynamic memory disambiguation using MCB offers a method to tackle
the memory dependence which could obstruct the fully use of various
optimization scope and techniques.
--- Hongli Zhang