Änderungen

Remove type dependency from cast translation (#1064)

* Remove type dependency from cast translation

When casting to int, there is a special case when an int is casted (no cast necessary). This was no longer detected correctly with eliminated local types. Now this unnecessary cast is removed in advance, before local types are lost.

* Unit tests for local type elimination
 (commit: 18ca8ab)