Adds my overflow-case finding SMT script.