This is in the constraint simplifier which I'm about to rewrite, so I'm hoping the assert isn't fatal!