har förts med Btor enighet.