analyze
l = analyze(solv, level, r, &p, &d, &why); /* learnt rule in p and d */
static reg_errcode_t analyze (regex_t *preg);
err = analyze (preg);