for Compositional Verification -- Tools I -- RBAC-PAT: A Policy Analysis Tool for Role