tuples of (cond, layer, result/branch-sink) the branch-sinks must all have the same size, equal to numOutputs
numOutputs