An automatic rule produces a yellow violation

[stefjoosten]

What happened

I got a yellow error message: I traced it back to the following code fragment:

ENFORCE realization[CommunicationNetwork*ApplicationInterface] >: realization;I[ApplicationComponent];serving

I have checked that the relations mentioned in this rule exists:

RELATION realization[CommunicationNetwork*ApplicationComponent]
RELATION realization[CommunicationNetwork*ApplicationInterface]
RELATION serving[ApplicationComponent*ApplicationInterface]

The type checker accepted this rule, hence code was generated and the error could occur.

What I expected

1. I expected this rule would not produce a (yellow) runtime error because it is an enforcement rule. However, it did (see screenshot above).
2. I expected this error to appear in the prototype log. However, there wasn't a shred of it...

Version of Ampersand that was used

The example used Ampersandtarski/prototype-framework:v1.17 as a base container.