int relativeRank= node.getStartPosition() + node.getLength() - offset;
int relativeRank= node.getStartPosition() + node.getLength() - pos;
				private int rank(ASTNode node) {					int relativeRank= node.getStartPosition() + node.getLength() - offset;					if (relativeRank < 0)						return Integer.MAX_VALUE + relativeRank;					else						return relativeRank;				}