@Override public int size() {
int s0 = m0.size(), s1 = m1.size();
switch (inc) {
case EQUAL: assert s0 == s1; return s0;
case SUB0SUP1: assert s0 <= s1; return s0;
case SUB1SUP0: assert s0 >= s1; return s1;
}
throw new AssertionError();
}
@Override public int size() {
return m0.size() + m1.size();
}