Loops now have scopes of their own. Fixed a bug in Annotations conserning writing identifiers names in the identifiers.txt files.