let tau_of_dzone = Formula.ADT("zones",[])