let neq_field f1name f2name = 
  Fol.Papp ("neq_field", [Fol.Tapp (f1name, []); Fol.Tapp (f2name, [])])