/* apps dep */
DependencyAnalyzer -> metadata;
Getter -> getter;
- Matita -> cic_disambiguation;
Matita -> grafite_engine;
Matita -> grafite_parser;
Matita -> hgdome;
- Matita -> paramodulation;
ProofChecker -> cic_proof_checking;
Uwobo -> content_pres;
Whelp -> cic_disambiguation;