- is not a reactive value resulting from a function that is itself called on a reactive value (so the expression does not contained "chained" reactives) - does not reference definitions that are defined within the macro expression but not within e (note that such a case can lead to unintentional behavior)
detects reactives which are guaranteed to be accessed statically inside the macro