let atom fmt a = fprintf fmt "%s%d%s [%a = %d]" (sign a) (a.var.vid+1) (value a) Hstring.print a.var.ident.iname ((* (snd (Vec.last a.var.ident.ivalues)) land *) a.value)