Counter Example Trace: Specification of query: Can user41 REACH role13 ? ==> Step 1: Target User: user41 CAN ASSIGN rule applied to user41: Administrative user to invoke the rule: user49 Role configuration of user41 before applying rule: No role Role configuration of user41 after applying rule: role10 ==> Step 2: Target User: user41 CAN ASSIGN rule applied to user41: Administrative user to invoke the rule: user49 Role configuration of user41 before applying rule: role10 Role configuration of user41 after applying rule: role10 role8 ==> Step 3: Target User: user41 CAN ASSIGN rule applied to user41: Administrative user to invoke the rule: user49 Role configuration of user41 before applying rule: role10 role8 Role configuration of user41 after applying rule: role10 role8 role3 ==> Step 4: Target User: user41 CAN ASSIGN rule applied to user41: Administrative user to invoke the rule: user49 Role configuration of user41 before applying rule: role10 role8 role3 Role configuration of user41 after applying rule: role10 role8 role3 role15 ==> Step 5: Target User: user41 CAN ASSIGN rule applied to user41: Administrative user to invoke the rule: user49 Role configuration of user41 before applying rule: role10 role8 role3 role15 Role configuration of user41 after applying rule: role10 role8 role3 role15 role13 user41 can REACH role13 role13 is REACHABLE