added a pass that searches for diamond shaped graphs of basic blocks