update free_varsTheory