IS_PSTATE_PROPOSER
if (!IS_PSTATE_PROPOSER(param)) {
if (IS_PSTATE_PROPOSER(param)) {
!IS_PSTATE_PROPOSER(param) &&
IS_PSTATE_PROPOSER(param) &&
if (!IS_PSTATE_ACCEPTOR(param) && !IS_PSTATE_PROPOSER(param))
if (!IS_PSTATE_ACCEPTOR(param) && !IS_PSTATE_PROPOSER(param))
if (IS_PSTATE_PROPOSER(param))