Passive checker of Python programs
