Method: ADD_MISMATCH
Method: VERIFY_COVERAGES
Method: VERIFY_NODE
Method: VERIFY_CHILDREN
Method: VERIFY