Counter Example Trace:
Specification of query: Can user629 REACH role152 ?

==> Step 1:
Target User: user629
CAN ASSIGN rule applied to user629: <role500,TRUE,role352>
Administrative user to invoke the rule: user999
Role configuration of user629 before applying rule: No role
Role configuration of user629 after applying rule: role352

==> Step 2:
Target User: user629
CAN ASSIGN rule applied to user629: <role500,role352,role152>
Administrative user to invoke the rule: user999
Role configuration of user629 before applying rule: role352
Role configuration of user629 after applying rule: role352 role152

user629 can REACH role152
role152 is REACHABLE