bugfix in `Int_lit` (normalization of divisibility literals)
bugfix in `Int_lit` (normalization of divisibility literals)

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition