The XOR-join-split operator is not handled properly in tokengame. THere is no chance to take the second choice on the outgoing arcs...