Symbol: verify_equivalence_table