Counter Example Trace:
Specification of query: Can user12 REACH role39 ?

==> Step 1:
Target User: user12
CAN ASSIGN rule applied to user12: <role40,TRUE,role39>
Administrative user to invoke the rule: user99
Role configuration of user12 before applying rule: No role
Role configuration of user12 after applying rule: role39

user12 can REACH role39
role39 is REACHABLE