Symbol: check_contains_revoked