fix unordered return in FunctionBodyExtractor.extract()