Predicate HashCons::analyzableExpr

Holds if the expression is explicitly handled by hashCons. Unanalyzable expressions still need to be given a hash-cons, but it will be a unique number that is not shared with any other expression.

predicate analyzableExpr(Expr e, string kind)