// both directions for SpecialA1
send SpecialA1.Input ;
receive SpecialA1.Input ;

send SpecialA1.Many ;
receive SpecialA1.Many ;

send SpecialA1.Maybe ;
receive SpecialA1.Maybe ;

send SpecialA1.B ;
receive SpecialA1.B ;

// only one direction for SpecialA2
send SpecialA2.Input ;
send SpecialA2.Many ;
send SpecialA2.Maybe ;
send SpecialA2.B ;