You have to track it manually, like https://gist.github.com/refset/57a910e2b746332ec7a0a31886f57cfb (this is for XTDB not DataScript, but hopefully gives some clue)

Thanks, that is interesting. Star and no-star designates output and input variables? What is the purpose of the first rule?