Updated test .src now that annotations must be final
AbstractTransformer: fixed erasure bug that was exposed by recent typechecker changes

The bug was that where we previously expected an Integer[]|Empty type we now get a simplified
type of Empty, which breaks our erasure algo which couldn't detect that the expected type was
actually erased to Sequential<Integer>. Moving the erasure test for parameter types a little
bit up seems to fix this bug while not breaking anything.
Test for #1238: overloaded methods/constructors and parameters of Java type int