KdTree nullity annotations