Trail Saving in SMT. - Milan Bankovic; David Scepanovic (SMT, 2022)