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