Static analysis tool to slice python programs