// returns And(...) or string
// could be optimized
sO ai_parseAmpersandToAndObjects(S s) {
  LS l = tok_splitAtAmpersand(s);
  if (l(l) == 1) ret s;
  ret And(first(l), ai_parseAmpersandToAndObjects(join(" & ", dropFirst(l))));
}