Fix Python evaluation test cases

We have to run the program explicitly, since 'mypy' can't do it .