Predicate Alloc::allocationFunction

A library routine that allocates memory.

predicate allocationFunction(Function f)