Overrode SbConstraint::is_init_state in PwsConstraint so only empty buffers is
considered an initial state. Made PwsConstraint::is_fully_serialised consider
all memory locations, which is what a sfence does in the PWS model. Made
PwsConstraint::to_string combine properly with the output of
SbConstraint::to_string.