Such a version of Zip can't exist. If it would, you could decide whether a program calculates a certain thing. According to Rice's theorem something like that c

Such a version of Zip can't exist. If it would, you could decide whether a program calculates a certain thing. According to Rice's theorem something like that can't exist without solving the Halting Problem https://en.wikipedia.org/wiki/Rice%27s_theorem https://en.wikipedia.org/wiki/Rice%27s_theorem