let tau_of_loc = Formula.ADT("pointer",[])