Added parsesmt to Driver and Pairwise