!isNullAtBranch || (isNullAtBranch != ifNullOpcode), isNullAtBranch, isNullAtBranch != ifNullOpcode
true, (opcode == Constants.IFNULL) ? definitelyNotNull : definitelyNull
	public void refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet) throws DataflowAnalysisException {		valueNumber = vnaFrame.getTopValue();				boolean isNullAtBranch = definitelyNullSet.isValueNull(valueNumber);		short opcode = getLocation().getHandle().getInstruction().getOpcode();		boolean ifNullOpcode = opcode == Constants.IFNULL;				ifcmpDecision = new Decision(				!isNullAtBranch || (isNullAtBranch == ifNullOpcode),				isNullAtBranch,				isNullAtBranch == ifNullOpcode		);				fallThroughDecision = new Decision(				!isNullAtBranch || (isNullAtBranch != ifNullOpcode),				isNullAtBranch,				isNullAtBranch != ifNullOpcode		);	}