don't modify environment, instead implement checkSat as an explicit operation
fix run script, make it more flexible