Symbol: ec_GFp_simple_group_check_discriminant