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