Merge pull request #170 from serge-sans-paille/fix-locals

Fix Locals analysis
Merge remote-tracking branch 'serge/master' into devel
Revert "Globals analysis updated to include global keyword"

This reverts commit b523b1857421bc4e64ef6947bf546c08af8aff11.
Make globals pass aliasing analysis