static CtxExpr ctxParseExpression(S exp) {
  Explain e = explain(exp, ctxParsingRules(), "exp");
  if (e == null) fail("Couldn't parse expression: " + exp);
  ret ctxParseExpression(e);
}

static CtxExpr ctxParseExpression(Explain exp) {
  try {
    if (exp.is("bracket")) {
      CtxExpr e = ctxParseExpression(exp.sub(0));
      if (e instanceof CtxConst)
        ret new CtxRegexp(e/CtxConst.value);
      ret e;
    }
    if (exp.is("fcall")) {
      CtxFCall call = new(exp.str(0));
      for (int i = 1; i < l(exp.subs); i++)
        call.add(ctxParseSub(exp, i));
      ret call;
    }
    if (exp.is("and"))
      ret new CtxAnd(ctxParseSub(exp, 0),
        ctxParseSub(exp, 1));
    if (exp.is("or"))
      ret new CtxOr(ctxParseSub(exp, 0),
        ctxParseSub(exp, 1));
    if (exp.is("neg"))
      ret new CtxNeg(ctxParseSub(exp, 0));
    if (exp.is("int"))
      ret new CtxConst(exp.tok().get(1));
    if (exp.is("quoted"))
      ret new CtxConst(unquoteCtx(exp.tok().get(1)));
      //ret new CtxRegexp(unquoteCtx(exp.tok().get(1)));
    //if (exp.is("id"))
    if (l(exp.tok()) == 3 && isIdentifier(exp.tok().get(1)))
      ret new CtxVar(exp.tok().get(1));
    if (exp.is("comp"))
      ret new CtxComp(ctxParseSub(exp, 0), ctxParseSub(exp, 1));
    if (exp.is("uneq"))
      ret new CtxUneq(ctxParseSub(exp, 0), ctxParseSub(exp, 1));
    if (exp.is("match"))
      ret new CtxMatch(ctxParseSub(exp, 0), unquoteCtx(exp.str(1)));
    if (exp.singleEqualChild())
      ret ctxParseExpression(exp.sub(0));
  } catch e {
    printExplainTree(exp);
    throw rethrow(e);
  }
  throw todo(exp.className() + " - " + quote(exp.string()));
}