Add known-bug
tests for 4 unsound issues
#110878
Merged
known-bug
tests for 4 unsound issues
#110878