Execution doesn't finish while analyzing Putty 0.78

Steps to reproduce:

- Download putty 0.78 available at: https://github.com/janislley/lsverifier_final_results
- Run lsverifier with: 
```
$ cd putty-0.78
$ lsverifier -v -r -f -fl terminal/terminal.c -l dep.tx
```