CIF ElimComponentDefInst crashes on via parameter reference ending with a component instantiation

The following CIF model crashes the ElimComponentDefInst CIF to CIF transformation (and the CIF type checker which invokes it as well):

automaton def A():
    location:
        initial;
end

group def B():
    a: A();
end

group def C(B b):
    alg string x = <string>b.a;
end

b: B();
c: C(b);

Even after all the fixes of #39 (closed).