spec.txt: removed allocation field for function, should be determined by variable references within the function body.