Update knowledge on recursive val from uses before unifying into it