if (target <= j.from) target = j.to;
if (j.to < target && target <= j.from) target = j.to;
	private void addBackwardsReach() {		if (getBranchOffset() >= 0) return;		int target = getBranchTarget();		for(Jump j : backwardReach) 			if (target <= j.from) target = j.to;		assert target <= getBranchTarget();		assert target < getPC();		for(Iterator<Jump> i = backwardReach.iterator(); i.hasNext(); ) {			Jump j = i.next();			if (target <= j.to && getPC() >= j.from) i.remove();		}		backwardReach.add(new Jump(getPC(), target));	}