Agda-2.3.2.2: test/fail/SafeFlagNoTermination.err

Cannot set OPTION pragma --no-termination-check with safe flag.