Range#{include,member} should basically depend element.succ from X19