#7 Possibly issue with conformance checking

[Anonymous]

Found conformance issue:

if {
RequestForQuote to P3;
} else {
}

compared against reference description:

if {
RequestForQuote to P3;
} else {
Invoice to P1;
}

for a local model appears to conform - possibly due to the fact that the behaviour is initiating a conversation - so if not defined in the model being conformance checked, then can be ok, as we only need to ensure that the mutually exclusive receiving paths are definitely there.

This may not be a bug - but we need to ensure that the model being conformance checked is correct.