Remove dependence on a behavior of `CTerm.anti_unify`#809

ehildenb wants to merge 5 commits intomasterruntimeverification/kontrol:masterfrom

remove-keep-valuesruntimeverification/kontrol:remove-keep-valuesCopy head branch name to clipboard