let int_zero = Fol.Tconst (Fol.ConstInt "0")