Fixed annotation schemes 'simple' and 'global' to give sound(er) default region args.
Now pointers point by default into region Global.
Only stack and params are placed in Local.
Merge branch 'asp' into dev/prolog
Merging in the bug-fixes for the default annotation schemes from the asp branch