Add tests (and bug fixes) for conflict detection during summation of roles with overloading