diff --git a/src/DispatchDoctor.jl b/src/DispatchDoctor.jl
index 01cb349..1e1eade 100644
--- a/src/DispatchDoctor.jl
+++ b/src/DispatchDoctor.jl
@@ -17,6 +17,7 @@ const INCOMPATIBLE_MACROS = [
     Symbol("@generated"),          # Base.jl
     Symbol("@eval"),               # Base.jl
     Symbol("@propagate_inbounds"), # Base.jl
+    Symbol("@assume_effects"),     # Base.jl
     Symbol("@model"),              # Turing.jl
     Symbol("@capture"),            # MacroTools.jl
 ]
@@ -128,6 +129,9 @@ function _stabilize_all(ex::Expr; kws...)
     elseif ex.head == :quote
         # Do nothing inside of quotes
         return ex
+    elseif ex.head == :global
+        # Incompatible with two functions
+        return ex
     elseif ex.head == :module
         return _stabilize_module(ex; kws...)
     elseif ex.head == :call && ex.args[1] == Symbol("include") && length(ex.args) == 2