pxs->accepted_value.clear();
pxs->promise.n = 0;
pxs->accepted.n = 0;
} else if (type == "propseen") {
from >> pxs->promise.n >> pxs->promise.m;
pxs->accepted_value.clear();
pxs->promise.n = 0;
pxs->accepted.n = 0;
} else if (type == "propseen") {
from >> pxs->promise.n >> pxs->promise.m;