if (block == domBlock || dominators.get(domBlock.getLabel())) {
// This block is dominated by the dominator block.
// Each instruction in the block which matches the
// current pattern
// element is a new state continuing the match.
for (Iterator<InstructionHandle> j = block.instructionIterator(); j.hasNext();) {
InstructionHandle next = j.next();
if (includeInstructions) {
MatchResult matchResult = dup.matchLocation(new Location(next, block));
if (matchResult != null) {
stateList.add(dup);