Counter Example Trace:
Specification of query: Can user915 REACH role2047 ?

==> Step 1:
Target User: user915
CAN ASSIGN rule applied to user915: <role4000,TRUE,role832>
Administrative user to invoke the rule: user9999
Role configuration of user915 before applying rule: No role
Role configuration of user915 after applying rule: role832

==> Step 2:
Target User: user915
CAN ASSIGN rule applied to user915: <role4000,TRUE,role3621>
Administrative user to invoke the rule: user9999
Role configuration of user915 before applying rule: role832
Role configuration of user915 after applying rule: role832 role3621

==> Step 3:
Target User: user915
CAN ASSIGN rule applied to user915: <role4000,role832&role3621,role2047>
Administrative user to invoke the rule: user9999
Role configuration of user915 before applying rule: role832 role3621
Role configuration of user915 after applying rule: role832 role3621 role2047

user915 can REACH role2047
role2047 is REACHABLE