R1System clear(), R1Witness, remove vector<bool>