sS rightSideOfDoubleArrow(S s) {
  L<S> x = splitAtDoubleArrow(s);
  if (l(x) == 2) ret second(x);
  null;
}