add another interface of analyzer targeted on sexps, for #12