KERML — Directed features inherited from a conjugated type not handled properly

Consider the following:

classifier A {
    in feature f;
}
classifier B conjugates A;
classifier C specializes B;

The feature f is an input of A, but an output of B. However, f will again be considered an input of C, which is not what one would expect.

The reason for this is that, as currently specified in 8.3.3.1.10 Type, the deriveTypeInput and deriveTypeOutput constraints only flip the inputs and outputs of a type if it is directly conjugated. Otherwise, the derivations just check the direction property of the features of the type, whether they are owned or inherited.