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