The Bank policy comprises a number of identically structured branches.
A more detailed description can be found at 
http://kjayaram.mysite.syr.edu/mohawk/casestudy.pdf

File Query.txt refers to the bank policy with 4 branches
and the following security query:
can a user be explicitly assigned to four non-managerial roles in a business division in any of the 4 branches?

The query is safe.

Query can be given in input to VAC in order to get the program "Program" instrumented for INTERPROC.