Well how about that, ask a difficult question of an abstract domain, and get two clear yesses. Does not happen often. Thanks @mncharity and @cinntaile.