Tool to do static analysis using Python 3 function annotations