Counter Example Trace:
Specification of query: Can user31009 REACH role18145 ?

==> Step 1:
Target User: user31009
CAN ASSIGN rule applied to user31009: <role19999,TRUE,role10130>
Administrative user to invoke the rule: user49999
Role configuration of user31009 before applying rule: No role
Role configuration of user31009 after applying rule: role10130

==> Step 2:
Target User: user31009
CAN ASSIGN rule applied to user31009: <role19999,role10130,role18145>
Administrative user to invoke the rule: user49999
Role configuration of user31009 before applying rule: role10130
Role configuration of user31009 after applying rule: role10130 role18145

user31009 can REACH role18145
role18145 is REACHABLE