* add a test suite demonstrating the issue
* fix false positives in RwLock, thus passing the new test suite
* friendler output
* augmented test suite with RWlock specifics (failing as expected!)
* full support for RWLocks
* implement support for guard remappings
* Add some newlines
* join `use` statements
* pass cranky
* addressing PR comments
Co-authored-by: Emil Ernerfeldt <emil.ernerfeldt@gmail.com>
