let atom fmt a = fprintf fmt "%s%d%s [lit:%a] vpremise={{%a}}" (sign a) (a.var.vid+1) (value a) Literal.LT.print a.lit premise a.var.vpremise