fixed tcap
unfold fixpoints once in TRS translation
Merge branch 'master' of https://github.com/mzini/hoca