Added test with NullTreeSanitizer