Test.connect

// --- update definitions ---
// OnSameNonterminal
receive OnSameNonterminal.Input1;
receive OnSameNonterminal.Input2;
send OnSameNonterminal.OutInteger;

// OnDifferentNonterminal
receive OnDifferentNonterminal.Input1;
receive OnDifferentNonterminal.Input2;
send TheOther.OutInteger;

// --- dependency definitions ---
// OnSameNonterminal
OnSameNonterminal.OutInteger canDependOn OnSameNonterminal.Input1 as Int1Dependency;
OnSameNonterminal.OutInteger canDependOn OnSameNonterminal.Input2 as Int2Dependency;
// OnDifferentNonterminal
TheOther.OutInteger canDependOn OnDifferentNonterminal.Input1 as Int1Dependency;
TheOther.OutInteger canDependOn OnDifferentNonterminal.Input2 as Int2Dependency;