Counter Example Trace:
Specification of query: Can user57261 REACH role16626 ?

==> Step 1:
Target User: user57261
CAN ASSIGN rule applied to user57261: <role40000,TRUE,role17451>
Administrative user to invoke the rule: user99999
Role configuration of user57261 before applying rule: No role
Role configuration of user57261 after applying rule: role17451

==> Step 2:
Target User: user57261
CAN ASSIGN rule applied to user57261: <role40000,TRUE,role21890>
Administrative user to invoke the rule: user99999
Role configuration of user57261 before applying rule: role17451
Role configuration of user57261 after applying rule: role17451 role21890

==> Step 3:
Target User: user57261
CAN ASSIGN rule applied to user57261: <role40000,role21890&role17451,role16626>
Administrative user to invoke the rule: user99999
Role configuration of user57261 before applying rule: role17451 role21890
Role configuration of user57261 after applying rule: role17451 role21890 role16626

user57261 can REACH role16626
role16626 is REACHABLE