Updated effect examples and verified with new effects analysis
Fixes to correctly extract effect information on globals from annotations, and to substitute self and content effect and provenance variables