mdd:all_verifier