CGO: dedicated section for alias and effects analyses
r
CGO: Rephrase effects analysis