update pp for changes to free_varsTheory