Add refinement checks from OneBitTwoProcesses to OneBitProtocol