population protocol "Broadcast Protocol" { states { _true _false } transitions { x_false_true } arcs { { _false, _true } -> x_false_true -> { _true, _true } } initial { _true _false } true { _true } false { _false } }