Integrating out the parameters, we have:  (1) and(2) above have the same type since t(z, s 1 ) = t(z, s 2 ).
the two sites conflict since the probabilities of setting b s1 and b s2 both depend on counts for the tree fragment rooted at NP.