Modifies clause fix.
* For the moment, we annotate all procedures as being able to modify any
  memory location.
* TODO refine this so that only possibly modified regions are listed.