static ReverseChain<S> revChainPlusIfNempty(ReverseChain<S> l, S s) {
  ret empty(s) ? l : revChainPlus(l, s);
}