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