I agree with moving it here, but couldn't symbols introduced during deferred semantic3 have the same problem as mentioned in the useInline branch above? (I'm unsure if the useInline part is actually still valid or necessary, I have disabled it in my "master" branch to avoid problems).