fixing the backtrace for outputting the transformed assumption