Symbol: verify_ra_consistency