public abstract BindingSet match(InstructionHandle handle, BindingSet bindingSet);
public abstract BindingSet match(InstructionHandle handle, ValueNumberFrame frame, BindingSet bindingSet) throws DataflowAnalysisException;
	public abstract BindingSet match(InstructionHandle handle, BindingSet bindingSet);