Add test case for an application with two AccessControlHandlers

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Create an IAML model instance with two Roles and two Sessions
2. Put an AccessControlHandler in each Session for each Role
3. Try to generate the code for the IAML model instances

What is the expected output? What do you see instead?
Expected: Two ACHs can be used in a web application
Actual: Two 'logout successful' Frames are generated, causing some constraints 
to fail.

These failing constraints have been resolved in r3031, but a test case should 
be designed to automatically test this scenario in the future.

Original issue reported on code.google.com by soundasleep on 25 Jul 2011 at 8:42