Symbol: ha_verify_constraint