Passive checker of Python programs.
