Add dependency on fixed version of SimpleSMT
Tab and untab when pushing and popping, respectively.