If a function contains no allocas, all of the calls in it are trivially