/* This highlights a bug in the simulator - it always decides to take
the passive two branch, because it doesn't notice that it should make
some probabilistic decision over both. Dowh. This needs fixing fast!
*/

#A = (a,1).(b,2).(c,4).A;

#B = (a,2*T).(f,1).B + (a,3*T).(g,1).B;

A <a> B