Collection of Python files that contain API definitions of existing libraries extended for Python static analysis tools