Is this clause even possible to reach? Dialyzer might know.