Add testing criteria for termination
It would be nice to make use of the new correctness property that states whether the respective pseuCo-program terminates (cf. commit in pseuCo-tests repo).
It would be nice to make use of the new correctness property that states whether the respective pseuCo-program terminates (cf. commit in pseuCo-tests repo).