Create new variables for errors to declutter SMT output