Tweaked it. Fixed it.
Add manual expansions of fold to workaround our termination problems
execT is correct
Merge branch 'master' of https://github.com/joaopizani/infomtpt-verified-compilers