Predicate Alloc::allocationCall

A call to a library routine that allocates memory.

predicate allocationCall(FunctionCall fc)