Counter Example Trace: Specification of query: Can user8758 REACH role310 ? ==> Step 1: Target User: user8758 CAN ASSIGN rule applied to user8758: Administrative user to invoke the rule: user9999 Role configuration of user8758 before applying rule: No role Role configuration of user8758 after applying rule: role310 user8758 can REACH role310 role310 is REACHABLE