Add an assert statement into the expansion

That way if it can happen that the terms combine, we'll know.