How Well Static Type Checkers Work with Gradual Typing? A Case Study on Python | IEEE Conference Publication | IEEE Xplore