Add known-bug
tests for 11 unsound issues
#110480
Merged
known-bug
tests for 11 unsound issues
#110480