Predicate MemoryMayNotBeFreed::allocCallOrIndirect

predicate allocCallOrIndirect(Expr e)