refactor io in smt prelude
Merge pull request #1135 from dwightguth/smtprelude

refactor io in smt prelude