Predicate TranslatedElement::isIRConstant

Holds if expr is a constant of a type that can be replaced directly with its value in the IR. This does not include address constants as we have no means to express those as QL values.

predicate isIRConstant(Expr expr)