liquidAssume is not helping