static L<S> whereLeadingSquareBracketStuffContains(S s, L<S> l) {
  ret [S x : unnull(l) | cic(leadingSquareBracketStuff(x), s)];
}