passive checker of Python programs