testcases for duplicate roles, inverses and shortcuts
(duplicate shortcuts generated by desugarings errors are not showing up)