Try removing assume unchanged