Predicate 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.
Import path
import semmle.code.cpp.valuenumbering.HashConspredicate analyzableExpr(Expr e, string kind)