Since these assumptions are coming from OpenMP it makes sense to mark
them as such in the generic IR encoding. Standardized assumptions will
and extensions will be named
which is the OpenMP 5.2 syntax for "extensions" of any kind.
This also matches what the OpenMP-Opt pass expects.
#pragma omp [...] assume[s] no_parallelism
now generates the same IR assumption annotation as