> The promises you get is that the program will always terminate

I don't want my programs to terminate though.