Value propagation: Fix invalidation of the results of a Tul function