let data_of_real (x : Formula.real F.term) : data = Data(F.wrap x)