let valid_pointer x = Fol.Papp("valid_pointer", [x])