Class DFSFunctionBodyTransformationContext