Counter Example Trace: Role to check REACHABILITY: target ==> Step 1: Target User: user108 CAN ASSIGN rule applied to user108: Administrative user to invoke the rule: user6 Role configuration of user108 before applying rule: Professor Role configuration of user108 after applying rule: Professor Dean ==> Step 2: Target User: user112 CAN ASSIGN rule applied to user112: Administrative user to invoke the rule: user6 Role configuration of user112 before applying rule: Professor Role configuration of user112 after applying rule: Professor Dean ==> Step 3: Target User: user113 CAN ASSIGN rule applied to user113: Administrative user to invoke the rule: user6 Role configuration of user113 before applying rule: Professor Role configuration of user113 after applying rule: Professor Dean ==> Step 4: Target User: user6 CAN ASSIGN rule applied to user6: Administrative user to invoke the rule: user6 Role configuration of user6 before applying rule: Provost Professor Role configuration of user6 after applying rule: Provost Professor AdmissionsOfficer ==> Step 5: Target User: user108 CAN ASSIGN rule applied to user108: Administrative user to invoke the rule: user1 Role configuration of user108 before applying rule: Professor Dean Role configuration of user108 after applying rule: Professor Dean GradAdmissionsCommittee ==> Step 6: Target User: user6 CAN ASSIGN rule applied to user6: Administrative user to invoke the rule: user6 Role configuration of user6 before applying rule: Provost Professor AdmissionsOfficer Role configuration of user6 after applying rule: Provost Professor AdmissionsOfficer GradAdmissionsCommittee ==> Step 7: Target User: user2 CAN REVOKE rule applied to user2: Administrative user to invoke the rule: user1 Role configuration of user2 before applying rule: DeptChair Professor Role configuration of user2 after applying rule: Professor ==> Step 8: Target User: user6 CAN ASSIGN rule applied to user6: Administrative user to invoke the rule: user0 Role configuration of user6 before applying rule: Provost Professor AdmissionsOfficer GradAdmissionsCommittee Role configuration of user6 after applying rule: Provost Professor AdmissionsOfficer GradAdmissionsCommittee target user6 can REACH target target is REACHABLE