Alternative to gl-aside that is only evaluated during GL symbolic execution.
Macro: gl-aside-symbolic
(defmacro gl-aside-symbolic (form) (cons 'mbe (cons ':logic (cons (cons 'gl-aside (cons form 'nil)) '(:exec nil)))))
