I would use syntax case and introduce unhygienic bindings. That is the deal with all low-level hygienic macro systems: hygiene by default. Break hygiene explicitly.
In syntax-case that would be (datum->syntax syntax-object-where-i-want-to-introduce-binding 'not)
In syntax-case that would be (datum->syntax syntax-object-where-i-want-to-introduce-binding 'not)