static bool isBracketHygienic(S s, S op, S close, Var<S> msg) {
  ret testBracketHygiene(s, op, close, msg);
}

static bool isBracketHygienic(S s, S op, S close) {
  ret testBracketHygiene(s, op, close, null);
}