Added a new class for reading in/specifying traces that can be converted
into constraints in the SMT2 file.