Rename assumeTrue to assume