It *can* do that, but it is not a requirement of the SRFI.  "Assume" returns its argument if that argument is true.  If the argument is false, its behavior is unpredictable.  There is nothing about unsafe flags.  It is an expression that gives you access to the compiler's handling of "is an error" behavior, whatever it may be: an exception, a crash, demons flying out of your nose.