Passive checker for Python programs
