Counter Example Trace:
Specification of query: Can user127 REACH role243 ?

==> Step 1:
Target User: user127
CAN ASSIGN rule applied to user127: <role500,TRUE,role395>
Administrative user to invoke the rule: user999
Role configuration of user127 before applying rule: No role
Role configuration of user127 after applying rule: role395

==> Step 2:
Target User: user127
CAN ASSIGN rule applied to user127: <role500,role395,role243>
Administrative user to invoke the rule: user999
Role configuration of user127 before applying rule: role395
Role configuration of user127 after applying rule: role395 role243

user127 can REACH role243
role243 is REACHABLE