debug verification_core