SafeFlagPragmas.agda:1,1-7,43
Cannot set OPTIONS pragmas --allow-unsolved-metas
--no-positivity-check --no-termination-check --type-in-type
--sized-types --injective-type-constructors
--experimental-irrelevance with safe flag.
