extractAssumptions.py

import sys

import utils.io_utils as io

assumptions = io.extractAssumptionList(sys.argv[1])
outfile = open(sys.argv[2],"w")
for assumption in assumptions:
    outfile.write(assumption+"\n")
outfile.close()