Counter Example Trace:
Specification of query: Can user41 REACH role10 ?

==> Step 1:
Target User: user41
CAN ASSIGN rule applied to user41: <role20,-role1,role2>
Administrative user to invoke the rule: user49
Role configuration of user41 before applying rule: No role
Role configuration of user41 after applying rule: role2

==> Step 2:
Target User: user41
CAN ASSIGN rule applied to user41: <role20,-role0,role10>
Administrative user to invoke the rule: user49
Role configuration of user41 before applying rule: role2
Role configuration of user41 after applying rule: role2 role10

user41 can REACH role10
role10 is REACHABLE