A modded Python interpreter that supports symbolic execution.