結果 : static type analysis by abstract interpretation of python programs