code: private static void addPredecessors(Block start) {
      Set<Block> visited = Sets.newIdentityHashSet();
      addPredecessors(start, visited);
    }
docs: Traverses the control flow graph reachable from {@code start} and adds all the predecessor
  links.