++
isPureBypassingInference() is a bit diffrent with other isXXXBypassingInference
Inherit @safe attribute to nested symbols, as same as pure
Remove hack for issue 10981
++
fix test cases
Cleanup and comment fix
+fix inherit pure and @safe