Member predicate TranslatedCoreExpr::hasLoad

predicate hasLoad()