Scripts for error correction with SMT