Type Inference-based Reliable Python static ANalyser