https://www.cs.purdue.edu/homes/cs352/ Slightly based on this paper: http://dl.acm.org/citation.cfm?id=357091 Run test.py with python3, giving it a single argument (number of compound statements in main)