Fix recursive call of String() of Clause constants