This error indicates that the state of the program differs in the continuation of a branching statement. That is, if a Reach program may execute multiple different code paths at runtime, the continuation of those branches must make the same assumption about state.
Another example is a
Participant makes their first publication in the branch
of a conditional. You can fix this by having the
Participant make their first
publication before the conditional statement.