work(basicBlock, instructionIterator, pattern.getFirst(), 0, null, null, true);
work(new State(basicBlock, instructionIterator, pattern.getFirst()));
	private void attemptMatch(BasicBlock basicBlock, BasicBlock.InstructionIterator instructionIterator)		throws DataflowAnalysisException {		work(basicBlock, instructionIterator, pattern.getFirst(), 0, null, null, true);	}