Testing analysis on suite of AspectJ apps...

- Fixed bugs in if/loop stmts
- Extended frame library
- Added method-name to each diagram
- Tested on SpaceWar and AJHotDraw