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