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