DangerousVerifyResult
IllogicalAlreadyVerifyResult
IllogicalNowVerifyResult
IllogicalSelfVerifyResult
IllogicalVerifyResult
InaccessibleVerifyResult
LogicalVerifyResult
NonObviousVerifyResult
VerifyResult
VerifyResultList