Counter Example Trace:
Specification of query: Can user197 REACH role196 ?

==> Step 1:
Target User: user197
CAN ASSIGN rule applied to user197: <role200,TRUE,role196>
Administrative user to invoke the rule: user499
Role configuration of user197 before applying rule: No role
Role configuration of user197 after applying rule: role196

user197 can REACH role196
role196 is REACHABLE