let tcomp_of_comp comp = (* TODO: we shouldn't loose the TComp ! *) TComp (comp, {scache = Not_Computed}, [])