Restore Refinement Mapping and Check of OneBitProtocol