Predicate OverflowStatic::bufferAndSizeFunction

predicate bufferAndSizeFunction(Function f, int buf, int size)