Class RestructureVerification<S,​RD>