deps

diff --git a/helm/papers/matita/libraries.dot b/helm/papers/matita/libraries.dot
index 18b8abd3a00b858c03a537a30f18db4228388e13..78259d77433bdddc32c9f78ed640445906aea3f7 100644 (file)
--- a/helm/papers/matita/libraries.dot
+++ b/helm/papers/matita/libraries.dot
@@ -82,7 +82,7 @@ digraph G {
   /* apps */
   subgraph applications {
     node [shape=plaintext,style=filled,fillcolor=slategray2];
-    DrawGraph;
+    DependencyAnalyzer;
     Getter;
     Matita;
     ProofChecker;
@@ -90,7 +90,7 @@ digraph G {
     Whelp;
   }
   /* apps dep */
-  DrawGraph -> metadata;
+  DependencyAnalyzer -> metadata;
   Getter -> getter;
   Matita -> cic_disambiguation;
   Matita -> grafite;
@@ -99,4 +99,5 @@ digraph G {
   ProofChecker -> cic_proof_checking;
   Uwobo -> content_pres;
   Whelp -> cic_disambiguation;
+  Whelp -> content_pres;
 }

diff --git a/helm/papers/matita/libraries.ps b/helm/papers/matita/libraries.ps
index e6cbb4d233176d75b56c77ac666ae61e1e20fece..26cbc87f6210852b66435b7920b80854fdd8a240 100644 (file)
--- a/helm/papers/matita/libraries.ps
+++ b/helm/papers/matita/libraries.ps
@@ -3,7 +3,7 @@
 %%For: (zacchiro) Stefano Zacchiroli,,,
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 35 35 819 801
+%%BoundingBox: 35 35 866 873
 %%EndComments
 save
 %%BeginProlog
@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 819 801
+%%PageBoundingBox: 36 36 866 873
 %%PageOrientation: Portrait
 gsave
-35 35 784 766 boxprim clip newpath
+35 35 831 838 boxprim clip newpath
 36 36 translate
 0 0 1 beginpage
 0 0 translate 0 rotate
@@ -242,10 +242,10 @@ gsave
 
 %      acic_content
 gsave 10 dict begin
-536 562 75 25 ellipse_path
+583 562 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-475 554 moveto
+522 554 moveto
 (acic_content)
 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
 xshow
@@ -254,10 +254,10 @@ end grestore
 
 %      cic_acic
 gsave 10 dict begin
-487 474 54 25 ellipse_path
+562 474 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-447 466 moveto
+522 466 moveto
 (cic_acic)
 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
 xshow
@@ -265,32 +265,32 @@ end grestore
 end grestore
 
 %      acic_content -> cic_acic
-newpath 522 537 moveto
-517 528 511 518 506 508 curveto
+newpath 577 537 moveto
+575 528 573 518 570 509 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 509 506 moveto
-501 499 lineto
-503 509 lineto
+newpath 573 508 moveto
+568 499 lineto
+567 509 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 509 506 moveto
-501 499 lineto
-503 509 lineto
+newpath 573 508 moveto
+568 499 lineto
+567 509 lineto
 closepath
 stroke
 end grestore
 
 %      cic_proof_checking
 gsave 10 dict begin
-487 386 110 25 ellipse_path
+468 386 110 25 ellipse_path
 stroke
 gsave 10 dict begin
-391 378 moveto
+372 378 moveto
 (cic_proof_checking)
 [10.56 6.72 10.56 12 12 7.92 12 12 7.92 12 10.56 12 10.56 10.56 12 6.72 12 12]
 xshow
@@ -298,32 +298,32 @@ end grestore
 end grestore
 
 %      cic_acic -> cic_proof_checking
-newpath 487 448 moveto
-487 440 487 431 487 422 curveto
+newpath 537 451 moveto
+526 441 513 429 501 418 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 491 422 moveto
-487 412 lineto
-484 422 lineto
+newpath 504 416 moveto
+494 411 lineto
+499 421 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 491 422 moveto
-487 412 lineto
-484 422 lineto
+newpath 504 416 moveto
+494 411 lineto
+499 421 lineto
 closepath
 stroke
 end grestore
 
 %      cic_disambiguation
 gsave 10 dict begin
-377 650 109 25 ellipse_path
+426 650 109 25 ellipse_path
 stroke
 gsave 10 dict begin
-282 642 moveto
+331 642 moveto
 (cic_disambiguation)
 [10.56 6.72 10.56 12 12 6.72 9.36 10.56 18.72 12 6.72 12 12 10.56 6.72 6.72 12 12]
 xshow
@@ -331,32 +331,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> acic_content
-newpath 420 626 moveto
-441 615 466 601 487 589 curveto
+newpath 468 626 moveto
+489 615 514 601 535 589 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 489 592 moveto
-496 584 lineto
-486 586 lineto
+newpath 537 592 moveto
+544 584 lineto
+534 586 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 489 592 moveto
-496 584 lineto
-486 586 lineto
+newpath 537 592 moveto
+544 584 lineto
+534 586 lineto
 closepath
 stroke
 end grestore
 
 %      cic_unification
 gsave 10 dict begin
-355 562 86 25 ellipse_path
+402 562 86 25 ellipse_path
 stroke
 gsave 10 dict begin
-283 554 moveto
+330 554 moveto
 (cic_unification)
 [10.56 6.72 10.56 12 12 12 6.72 7.92 6.72 10.56 10.56 6.72 6.72 12 12]
 xshow
@@ -364,32 +364,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> cic_unification
-newpath 371 624 moveto
-369 616 366 607 364 598 curveto
+newpath 419 625 moveto
+417 616 414 607 412 598 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 367 597 moveto
-362 588 lineto
-361 598 lineto
+newpath 415 597 moveto
+409 588 lineto
+409 599 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 367 597 moveto
-362 588 lineto
-361 598 lineto
+newpath 415 597 moveto
+409 588 lineto
+409 599 lineto
 closepath
 stroke
 end grestore
 
 %      whelp
 gsave 10 dict begin
-205 562 44 25 ellipse_path
+252 562 44 25 ellipse_path
 stroke
 gsave 10 dict begin
-175 554 moveto
+222 554 moveto
 (whelp)
 [17.28 12 10.56 6.72 12]
 xshow
@@ -397,32 +397,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> whelp
-newpath 331 627 moveto
-305 614 273 597 247 584 curveto
+newpath 380 627 moveto
+353 614 320 597 295 584 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 248 581 moveto
-238 579 lineto
-245 587 lineto
+newpath 296 581 moveto
+286 579 lineto
+293 587 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 248 581 moveto
-238 579 lineto
-245 587 lineto
+newpath 296 581 moveto
+286 579 lineto
+293 587 lineto
 closepath
 stroke
 end grestore
 
 %      content_pres
 gsave 10 dict begin
-643 650 76 25 ellipse_path
+631 650 76 25 ellipse_path
 stroke
 gsave 10 dict begin
-581 642 moveto
+569 642 moveto
 (content_pres)
 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 xshow
@@ -430,32 +430,32 @@ end grestore
 end grestore
 
 %      content_pres -> acic_content
-newpath 614 626 moveto
-602 616 586 603 573 593 curveto
+newpath 617 625 moveto
+612 616 607 606 602 596 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 575 590 moveto
-565 586 lineto
-570 595 lineto
+newpath 605 594 moveto
+597 587 lineto
+599 597 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 575 590 moveto
-565 586 lineto
-570 595 lineto
+newpath 605 594 moveto
+597 587 lineto
+599 597 lineto
 closepath
 stroke
 end grestore
 
 %      utf8_macros
 gsave 10 dict begin
-706 562 75 25 ellipse_path
+753 562 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-645 554 moveto
+692 554 moveto
 (utf8_macros)
 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
 xshow
@@ -463,32 +463,32 @@ end grestore
 end grestore
 
 %      content_pres -> utf8_macros
-newpath 661 625 moveto
-668 616 676 605 682 595 curveto
+newpath 663 627 moveto
+678 616 697 603 713 591 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 685 597 moveto
-688 587 lineto
-679 593 lineto
+newpath 715 594 moveto
+721 585 lineto
+711 588 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 685 597 moveto
-688 587 lineto
-679 593 lineto
+newpath 715 594 moveto
+721 585 lineto
+711 588 lineto
 closepath
 stroke
 end grestore
 
 %      grafite
 gsave 10 dict begin
-644 738 46 25 ellipse_path
+689 738 46 25 ellipse_path
 stroke
 gsave 10 dict begin
-612 730 moveto
+657 730 moveto
 (grafite)
 [12 7.92 10.56 7.92 6.72 6.72 10.56]
 xshow
@@ -496,54 +496,54 @@ end grestore
 end grestore
 
 %      grafite -> content_pres
-newpath 644 712 moveto
-644 704 643 695 643 686 curveto
+newpath 673 714 moveto
+667 705 659 694 653 684 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 647 686 moveto
-643 676 lineto
-640 686 lineto
+newpath 655 681 moveto
+647 675 lineto
+650 685 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 647 686 moveto
-643 676 lineto
-640 686 lineto
+newpath 655 681 moveto
+647 675 lineto
+650 685 lineto
 closepath
 stroke
 end grestore
 
 %      cic_unification -> cic_proof_checking
-newpath 367 537 moveto
-380 513 400 476 423 448 curveto
-431 438 441 427 450 418 curveto
+newpath 425 537 moveto
+434 526 443 513 449 500 curveto
+459 475 465 445 466 422 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 453 420 moveto
-458 411 lineto
-448 415 lineto
+newpath 469 422 moveto
+467 412 lineto
+463 422 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 453 420 moveto
-458 411 lineto
-448 415 lineto
+newpath 469 422 moveto
+467 412 lineto
+463 422 lineto
 closepath
 stroke
 end grestore
 
 %      tactics
 gsave 10 dict begin
-165 650 45 25 ellipse_path
+252 650 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-134 642 moveto
+221 642 moveto
 (tactics)
 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 xshow
@@ -551,53 +551,53 @@ end grestore
 end grestore
 
 %      tactics -> cic_unification
-newpath 201 633 moveto
-228 620 267 603 299 588 curveto
+newpath 284 631 moveto
+304 620 332 603 354 590 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 300 591 moveto
-308 584 lineto
-297 585 lineto
+newpath 356 593 moveto
+363 585 lineto
+353 587 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 300 591 moveto
-308 584 lineto
-297 585 lineto
+newpath 356 593 moveto
+363 585 lineto
+353 587 lineto
 closepath
 stroke
 end grestore
 
 %      tactics -> whelp
-newpath 176 625 moveto
-181 616 185 606 190 596 curveto
+newpath 252 624 moveto
+252 616 252 607 252 598 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 193 598 moveto
-194 587 lineto
-187 595 lineto
+newpath 256 598 moveto
+252 588 lineto
+249 598 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 193 598 moveto
-194 587 lineto
-187 595 lineto
+newpath 256 598 moveto
+252 588 lineto
+249 598 lineto
 closepath
 stroke
 end grestore
 
 %      paramodulation
 gsave 10 dict begin
-132 738 90 25 ellipse_path
+279 738 90 25 ellipse_path
 stroke
 gsave 10 dict begin
-56 730 moveto
+203 730 moveto
 (paramodulation)
 [12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
 xshow
@@ -605,32 +605,32 @@ end grestore
 end grestore
 
 %      paramodulation -> tactics
-newpath 142 713 moveto
-145 704 149 694 152 684 curveto
+newpath 271 713 moveto
+268 704 265 694 263 685 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 155 686 moveto
-156 675 lineto
-149 683 lineto
+newpath 266 684 moveto
+260 675 lineto
+260 686 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 155 686 moveto
-156 675 lineto
-149 683 lineto
+newpath 266 684 moveto
+260 675 lineto
+260 686 lineto
 closepath
 stroke
 end grestore
 
 %      cic
 gsave 10 dict begin
-427 298 28 25 ellipse_path
+462 298 28 25 ellipse_path
 stroke
 gsave 10 dict begin
-413 290 moveto
+448 290 moveto
 (cic)
 [10.56 6.72 10.56]
 xshow
@@ -639,10 +639,10 @@ end grestore
 
 %      urimanager
 gsave 10 dict begin
-347 210 70 25 ellipse_path
+456 210 70 25 ellipse_path
 stroke
 gsave 10 dict begin
-291 202 moveto
+400 202 moveto
 (urimanager)
 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 xshow
@@ -650,32 +650,32 @@ end grestore
 end grestore
 
 %      cic -> urimanager
-newpath 409 278 moveto
-399 267 387 254 376 241 curveto
+newpath 460 272 moveto
+459 264 459 255 458 246 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 379 239 moveto
-369 234 lineto
-374 244 lineto
+newpath 462 246 moveto
+458 236 lineto
+455 246 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 379 239 moveto
-369 234 lineto
-374 244 lineto
+newpath 462 246 moveto
+458 236 lineto
+455 246 lineto
 closepath
 stroke
 end grestore
 
 %      xml
 gsave 10 dict begin
-205 122 33 25 ellipse_path
+312 122 33 25 ellipse_path
 stroke
 gsave 10 dict begin
-186 114 moveto
+293 114 moveto
 (xml)
 [12 18.72 6.72]
 xshow
@@ -683,54 +683,55 @@ end grestore
 end grestore
 
 %      cic -> xml
-newpath 435 273 moveto
-441 248 446 209 427 184 curveto
-405 156 307 137 249 128 curveto
+newpath 487 285 moveto
+504 274 525 257 536 236 curveto
+545 215 549 202 536 184 curveto
+513 155 414 136 356 127 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 249 125 moveto
-239 126 lineto
-248 131 lineto
+newpath 356 124 moveto
+346 126 lineto
+356 130 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 249 125 moveto
-239 126 lineto
-248 131 lineto
+newpath 356 124 moveto
+346 126 lineto
+356 130 lineto
 closepath
 stroke
 end grestore
 
 %      cic_proof_checking -> cic
-newpath 470 361 moveto
-463 351 455 339 448 328 curveto
+newpath 466 360 moveto
+465 352 465 343 464 334 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 451 326 moveto
-442 320 lineto
-445 330 lineto
+newpath 468 334 moveto
+464 324 lineto
+461 334 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 451 326 moveto
-442 320 lineto
-445 330 lineto
+newpath 468 334 moveto
+464 324 lineto
+461 334 lineto
 closepath
 stroke
 end grestore
 
 %      getter
 gsave 10 dict begin
-318 298 42 25 ellipse_path
+301 298 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-290 290 moveto
+273 290 moveto
 (getter)
 [12 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -738,53 +739,53 @@ end grestore
 end grestore
 
 %      cic_proof_checking -> getter
-newpath 442 363 moveto
-416 350 384 333 359 320 curveto
+newpath 423 362 moveto
+398 349 367 332 342 320 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 360 317 moveto
-350 315 lineto
-357 323 lineto
+newpath 343 317 moveto
+333 315 lineto
+340 323 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 360 317 moveto
-350 315 lineto
-357 323 lineto
+newpath 343 317 moveto
+333 315 lineto
+340 323 lineto
 closepath
 stroke
 end grestore
 
 %      getter -> urimanager
-newpath 326 273 moveto
-329 264 332 254 336 245 curveto
+newpath 332 280 moveto
+354 268 384 250 409 237 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 339 246 moveto
-339 235 lineto
-333 244 lineto
+newpath 411 240 moveto
+418 232 lineto
+408 234 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 339 246 moveto
-339 235 lineto
-333 244 lineto
+newpath 411 240 moveto
+418 232 lineto
+408 234 lineto
 closepath
 stroke
 end grestore
 
 %      registry
 gsave 10 dict begin
-205 210 52 25 ellipse_path
+186 210 52 25 ellipse_path
 stroke
 gsave 10 dict begin
-167 202 moveto
+148 202 moveto
 (registry)
 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 xshow
@@ -792,32 +793,32 @@ end grestore
 end grestore
 
 %      getter -> registry
-newpath 292 278 moveto
-277 266 258 251 241 238 curveto
+newpath 275 278 moveto
+260 266 240 251 222 238 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 243 235 moveto
-233 232 lineto
-239 241 lineto
+newpath 224 235 moveto
+214 232 lineto
+220 241 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 243 235 moveto
-233 232 lineto
-239 241 lineto
+newpath 224 235 moveto
+214 232 lineto
+220 241 lineto
 closepath
 stroke
 end grestore
 
 %      metadata
 gsave 10 dict begin
-205 386 58 25 ellipse_path
+186 386 58 25 ellipse_path
 stroke
 gsave 10 dict begin
-161 378 moveto
+142 378 moveto
 (metadata)
 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
 xshow
@@ -825,55 +826,54 @@ end grestore
 end grestore
 
 %      metadata -> cic
-newpath 249 369 moveto
-257 366 265 363 273 360 curveto
-316 343 327 341 370 324 curveto
-377 321 384 318 391 314 curveto
+newpath 230 369 moveto
+238 366 246 363 254 360 curveto
+313 340 382 319 424 308 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 393 317 moveto
-401 310 lineto
-390 310 lineto
+newpath 425 311 moveto
+434 305 lineto
+423 305 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 393 317 moveto
-401 310 lineto
-390 310 lineto
+newpath 425 311 moveto
+434 305 lineto
+423 305 lineto
 closepath
 stroke
 end grestore
 
 %      metadata -> getter
-newpath 234 364 moveto
-249 352 268 337 283 324 curveto
+newpath 215 364 moveto
+230 352 250 337 267 324 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 285 327 moveto
-291 318 lineto
-281 321 lineto
+newpath 269 327 moveto
+275 318 lineto
+265 321 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 285 327 moveto
-291 318 lineto
-281 321 lineto
+newpath 269 327 moveto
+275 318 lineto
+265 321 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql
 gsave 10 dict begin
-205 298 50 25 ellipse_path
+186 298 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-169 290 moveto
+150 290 moveto
 (hmysql)
 [12 18.72 12 9.36 12 6.72]
 xshow
@@ -881,53 +881,54 @@ end grestore
 end grestore
 
 %      metadata -> hmysql
-newpath 205 360 moveto
-205 352 205 343 205 334 curveto
+newpath 186 360 moveto
+186 352 186 343 186 334 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 209 334 moveto
-205 324 lineto
-202 334 lineto
+newpath 190 334 moveto
+186 324 lineto
+183 334 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 209 334 moveto
-205 324 lineto
-202 334 lineto
+newpath 190 334 moveto
+186 324 lineto
+183 334 lineto
 closepath
 stroke
 end grestore
 
 %      whelp -> metadata
-newpath 205 536 moveto
-205 506 205 456 205 422 curveto
+newpath 251 536 moveto
+250 512 245 476 233 448 curveto
+228 437 222 427 215 418 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 209 422 moveto
-205 412 lineto
-202 422 lineto
+newpath 218 416 moveto
+209 410 lineto
+212 420 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 209 422 moveto
-205 412 lineto
-202 422 lineto
+newpath 218 416 moveto
+209 410 lineto
+212 420 lineto
 closepath
 stroke
 end grestore
 
 %      extlib
 gsave 10 dict begin
-205 34 42 25 ellipse_path
+312 34 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-177 26 moveto
+284 26 moveto
 (extlib)
 [10.56 12 6.72 6.72 6.72 12]
 xshow
@@ -936,10 +937,10 @@ end grestore
 
 %      hgdome
 gsave 10 dict begin
-79 210 54 25 ellipse_path
+312 210 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-39 202 moveto
+272 202 moveto
 (hgdome)
 [12 12 12 12 18.72 10.56]
 xshow
@@ -947,135 +948,133 @@ end grestore
 end grestore
 
 %      hgdome -> xml
-newpath 110 189 moveto
-128 176 152 159 172 146 curveto
+newpath 312 184 moveto
+312 176 312 167 312 158 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 174 149 moveto
-180 140 lineto
-170 143 lineto
+newpath 316 158 moveto
+312 148 lineto
+309 158 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 174 149 moveto
-180 140 lineto
-170 143 lineto
+newpath 316 158 moveto
+312 148 lineto
+309 158 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql -> registry
-newpath 205 272 moveto
-205 264 205 255 205 246 curveto
+newpath 186 272 moveto
+186 264 186 255 186 246 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 209 246 moveto
-205 236 lineto
-202 246 lineto
+newpath 190 246 moveto
+186 236 lineto
+183 246 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 209 246 moveto
-205 236 lineto
-202 246 lineto
+newpath 190 246 moveto
+186 236 lineto
+183 246 lineto
 closepath
 stroke
 end grestore
 
 %      registry -> xml
-newpath 205 184 moveto
-205 176 205 167 205 158 curveto
+newpath 216 189 moveto
+235 176 260 159 279 145 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 209 158 moveto
-205 148 lineto
-202 158 lineto
+newpath 281 148 moveto
+287 139 lineto
+277 142 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 209 158 moveto
-205 148 lineto
-202 158 lineto
+newpath 281 148 moveto
+287 139 lineto
+277 142 lineto
 closepath
 stroke
 end grestore
 
 %      xml -> extlib
-newpath 205 96 moveto
-205 88 205 79 205 70 curveto
+newpath 312 96 moveto
+312 88 312 79 312 70 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 209 70 moveto
-205 60 lineto
-202 70 lineto
+newpath 316 70 moveto
+312 60 lineto
+309 70 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 209 70 moveto
-205 60 lineto
-202 70 lineto
+newpath 316 70 moveto
+312 60 lineto
+309 70 lineto
 closepath
 stroke
 end grestore
 
-%      DrawGraph
+%      DependencyAnalyzer
 gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 128 404 moveto
-0 404 lineto
-0 368 lineto
-128 368 lineto
+newpath 224 492 moveto
+0 492 lineto
+0 456 lineto
+224 456 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 128 404 moveto
-0 404 lineto
-0 368 lineto
-128 368 lineto
+newpath 224 492 moveto
+0 492 lineto
+0 456 lineto
+224 456 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-7 378 moveto
-(DrawGraph)
-[17.28 7.92 10.56 17.28 17.28 7.92 10.56 12 12]
+8 466 moveto
+(DependencyAnalyzer)
+[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12 17.28 12 10.56 6.72 12 10.56 10.56 7.92]
 xshow
 end grestore
 end grestore
 
-%      DrawGraph -> getter
-newpath 113 368 moveto
-121 365 129 362 137 360 curveto
-193 342 209 345 265 324 curveto
-269 322 272 321 276 319 curveto
+%      DependencyAnalyzer -> metadata
+newpath 127 456 moveto
+136 445 148 431 159 418 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 277 322 moveto
-285 315 lineto
-274 316 lineto
+newpath 162 420 moveto
+166 410 lineto
+157 415 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 277 322 moveto
-285 315 lineto
-274 316 lineto
+newpath 162 420 moveto
+166 410 lineto
+157 415 lineto
 closepath
 stroke
 end grestore
@@ -1085,22 +1084,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 358 404 moveto
-282 404 lineto
-282 368 lineto
-358 368 lineto
+newpath 339 404 moveto
+263 404 lineto
+263 368 lineto
+339 368 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 358 404 moveto
-282 404 lineto
-282 368 lineto
-358 368 lineto
+newpath 339 404 moveto
+263 404 lineto
+263 368 lineto
+339 368 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-290 378 moveto
+271 378 moveto
 (Getter)
 [17.28 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -1108,22 +1107,22 @@ end grestore
 end grestore
 
 %      Getter -> getter
-newpath 320 368 moveto
-320 358 319 346 319 334 curveto
+newpath 301 368 moveto
+301 358 301 346 301 334 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 323 334 moveto
-319 324 lineto
-316 334 lineto
+newpath 305 334 moveto
+301 324 lineto
+298 334 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 323 334 moveto
-319 324 lineto
-316 334 lineto
+newpath 305 334 moveto
+301 324 lineto
+298 334 lineto
 closepath
 stroke
 end grestore
@@ -1133,22 +1132,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 319 756 moveto
-241 756 lineto
-241 720 lineto
-319 720 lineto
+newpath 451 836 moveto
+373 836 lineto
+373 800 lineto
+451 800 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 319 756 moveto
-241 756 lineto
-241 720 lineto
-319 720 lineto
+newpath 451 836 moveto
+373 836 lineto
+373 800 lineto
+451 800 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-248 730 moveto
+380 810 moveto
 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
@@ -1156,43 +1155,65 @@ end grestore
 end grestore
 
 %      Matita -> cic_disambiguation
-newpath 300 720 moveto
-313 709 328 695 342 682 curveto
+newpath 414 800 moveto
+416 773 420 721 423 686 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 345 684 moveto
-350 675 lineto
-340 679 lineto
+newpath 426 686 moveto
+424 676 lineto
+420 686 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 345 684 moveto
-350 675 lineto
-340 679 lineto
+newpath 426 686 moveto
+424 676 lineto
+420 686 lineto
 closepath
 stroke
 end grestore
 
-%      Matita -> tactics
-newpath 256 720 moveto
-240 708 219 691 200 677 curveto
+%      Matita -> grafite
+newpath 451 811 moveto
+496 802 571 785 633 764 curveto
+637 762 641 761 644 759 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 202 674 moveto
-192 671 lineto
-198 680 lineto
+newpath 646 762 moveto
+654 755 lineto
+643 755 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 202 674 moveto
-192 671 lineto
-198 680 lineto
+newpath 646 762 moveto
+654 755 lineto
+643 755 lineto
+closepath
+stroke
+end grestore
+
+%      Matita -> paramodulation
+newpath 382 800 moveto
+366 790 345 777 327 766 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 328 763 moveto
+318 761 lineto
+325 769 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 328 763 moveto
+318 761 lineto
+325 769 lineto
 closepath
 stroke
 end grestore
@@ -1202,22 +1223,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 710 492 moveto
-560 492 lineto
-560 456 lineto
-710 456 lineto
+newpath 440 492 moveto
+290 492 lineto
+290 456 lineto
+440 456 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 710 492 moveto
-560 492 lineto
-560 456 lineto
-710 456 lineto
+newpath 440 492 moveto
+290 492 lineto
+290 456 lineto
+440 456 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-568 466 moveto
+298 466 moveto
 (ProofChecker)
 [13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92]
 xshow
@@ -1225,22 +1246,22 @@ end grestore
 end grestore
 
 %      ProofChecker -> cic_proof_checking
-newpath 605 456 moveto
-585 445 559 428 536 415 curveto
+newpath 386 456 moveto
+400 445 416 430 431 417 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 537 412 moveto
-527 410 lineto
-534 418 lineto
+newpath 433 420 moveto
+439 411 lineto
+429 414 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 537 412 moveto
-527 410 lineto
-534 418 lineto
+newpath 433 420 moveto
+439 411 lineto
+429 414 lineto
 closepath
 stroke
 end grestore
@@ -1250,66 +1271,45 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 579 756 moveto
-493 756 lineto
-493 720 lineto
-579 720 lineto
+newpath 624 756 moveto
+538 756 lineto
+538 720 lineto
+624 720 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 579 756 moveto
-493 756 lineto
-493 720 lineto
-579 720 lineto
+newpath 624 756 moveto
+538 756 lineto
+538 720 lineto
+624 720 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-500 730 moveto
+545 730 moveto
 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow
 end grestore
 end grestore
 
-%      Uwobo -> acic_content
-newpath 536 720 moveto
-536 692 536 635 536 598 curveto
-stroke
-gsave 10 dict begin
-solid
-1 setlinewidth
-0.000 0.000 0.000 edgecolor
-newpath 540 598 moveto
-536 588 lineto
-533 598 lineto
-closepath
-fill
-0.000 0.000 0.000 edgecolor
-newpath 540 598 moveto
-536 588 lineto
-533 598 lineto
-closepath
-stroke
-end grestore
-
 %      Uwobo -> content_pres
-newpath 558 720 moveto
-572 709 590 694 606 681 curveto
+newpath 591 720 moveto
+597 710 605 696 612 684 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 609 683 moveto
-614 674 lineto
-604 678 lineto
+newpath 615 685 moveto
+617 675 lineto
+609 682 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 609 683 moveto
-614 674 lineto
-604 678 lineto
+newpath 615 685 moveto
+617 675 lineto
+609 682 lineto
 closepath
 stroke
 end grestore
@@ -1319,22 +1319,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 417 756 moveto
-337 756 lineto
-337 720 lineto
-417 720 lineto
+newpath 520 756 moveto
+440 756 lineto
+440 720 lineto
+520 720 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 417 756 moveto
-337 756 lineto
-337 720 lineto
-417 720 lineto
+newpath 520 756 moveto
+440 756 lineto
+440 720 lineto
+520 720 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-344 730 moveto
+447 730 moveto
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
@@ -1342,45 +1342,43 @@ end grestore
 end grestore
 
 %      Whelp -> cic_disambiguation
-newpath 377 720 moveto
-377 710 377 698 377 686 curveto
+newpath 469 720 moveto
+463 710 454 696 447 684 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 381 686 moveto
-377 676 lineto
-374 686 lineto
+newpath 450 682 moveto
+442 675 lineto
+444 685 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 381 686 moveto
-377 676 lineto
-374 686 lineto
+newpath 450 682 moveto
+442 675 lineto
+444 685 lineto
 closepath
 stroke
 end grestore
 
-%      Whelp -> whelp
-newpath 343 720 moveto
-338 717 333 714 328 712 curveto
-296 695 282 701 258 676 curveto
-237 653 223 621 214 597 curveto
+%      Whelp -> content_pres
+newpath 511 720 moveto
+532 708 560 691 584 677 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 217 596 moveto
-211 587 lineto
-211 598 lineto
+newpath 586 680 moveto
+593 672 lineto
+583 674 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 217 596 moveto
-211 587 lineto
-211 598 lineto
+newpath 586 680 moveto
+593 672 lineto
+583 674 lineto
 closepath
 stroke
 end grestore

diff --git a/helm/papers/matita/librariesCluster.ps b/helm/papers/matita/librariesCluster.ps
index 99821b753934b697ceb2b4ec120468bb365d38bc..27ef6164fc24e0b4af124a3036d43e0a362ca971 100644 (file)
--- a/helm/papers/matita/librariesCluster.ps
+++ b/helm/papers/matita/librariesCluster.ps
@@ -3,7 +3,7 @@
 %%For: (zacchiro) Stefano Zacchiroli,,,
 %%Title: G
 %%Pages: (atend)
-%%BoundingBox: 35 35 1160 973
+%%BoundingBox: 35 35 1256 973
 %%EndComments
 save
 %%BeginProlog
@@ -230,10 +230,10 @@ def
 
 %%EndSetup
 %%Page: 1 1
-%%PageBoundingBox: 36 36 1160 973
+%%PageBoundingBox: 36 36 1256 973
 %%PageOrientation: Portrait
 gsave
-35 35 1125 938 boxprim clip newpath
+35 35 1221 938 boxprim clip newpath
 36 36 translate
 0 0 1 beginpage
 0 0 translate 0 rotate
@@ -244,22 +244,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 686 488 moveto
-1115 488 lineto
-1115 856 lineto
-686 856 lineto
+newpath 782 488 moveto
+1211 488 lineto
+1211 856 lineto
+782 856 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 686 488 moveto
-1115 488 lineto
-1115 856 lineto
-686 856 lineto
+newpath 782 488 moveto
+1211 488 lineto
+1211 856 lineto
+782 856 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-694 498 moveto
+790 498 moveto
 (Terms at the content and presentation level)
 [14.64 10.56 7.92 18.72 9.36 6 10.56 6.72 6 6.72 12 10.56 6 10.56 12 12 6.72 10.56 12 6.72 6 10.56 12 12 6 12 7.92 10.56 9.36 10.56 12 6.72 10.56 6.72 6.72 12 12 6 6.72 10.56 12 10.56 6.72]
 xshow
@@ -270,22 +270,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 198 612 moveto
-448 612 lineto
-448 892 lineto
-198 892 lineto
+newpath 294 612 moveto
+544 612 lineto
+544 892 lineto
+294 892 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 198 612 moveto
-448 612 lineto
-448 892 lineto
-198 892 lineto
+newpath 294 612 moveto
+544 612 lineto
+544 892 lineto
+294 892 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-206 866 moveto
+302 866 moveto
 (Partially specified terms)
 [13.44 10.56 7.92 6.72 6.72 10.56 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36]
 xshow
@@ -296,22 +296,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 304 208 moveto
-678 208 lineto
-678 592 lineto
-304 592 lineto
+newpath 400 208 moveto
+774 208 lineto
+774 592 lineto
+400 592 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 304 208 moveto
-678 208 lineto
-678 592 lineto
-304 592 lineto
+newpath 400 208 moveto
+774 208 lineto
+774 592 lineto
+400 592 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-311 218 moveto
+407 218 moveto
 (Fully specified terms)
 [13.44 12 6.72 6.72 12 6 9.36 12 10.56 10.56 6.72 7.92 6.72 10.56 12 6 6.72 10.56 7.92 18.72 9.36]
 xshow
@@ -322,22 +322,22 @@ gsave 10 dict begin
 filled
 0.000 0.000 1.000 sethsbcolor
 0.000 0.000 0.929 sethsbcolor
-newpath 686 16 moveto
-974 16 lineto
-974 400 lineto
-686 400 lineto
+newpath 782 16 moveto
+1070 16 lineto
+1070 400 lineto
+782 400 lineto
 closepath
 fill
 0.000 0.000 1.000 sethsbcolor
-newpath 686 16 moveto
-974 16 lineto
-974 400 lineto
-686 400 lineto
+newpath 782 16 moveto
+1070 16 lineto
+1070 400 lineto
+782 400 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 sethsbcolor
-888 26 moveto
+984 26 moveto
 (Utilities)
 [17.28 6.72 6.72 6.72 6.72 6.72 6.72 10.56 9.36]
 xshow
@@ -346,10 +346,10 @@ end grestore
 
 %      acic_content
 gsave 10 dict begin
-804 646 75 25 ellipse_path
+900 646 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-743 638 moveto
+839 638 moveto
 (acic_content)
 [10.56 10.56 6.72 10.56 12 10.56 12 12 6.72 10.56 12 6.72]
 xshow
@@ -358,10 +358,10 @@ end grestore
 
 %      cic_acic
 gsave 10 dict begin
-777 558 54 25 ellipse_path
+873 558 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-737 550 moveto
+833 550 moveto
 (cic_acic)
 [10.56 6.72 10.56 12 10.56 10.56 6.72 10.56]
 xshow
@@ -369,32 +369,32 @@ end grestore
 end grestore
 
 %      acic_content -> cic_acic
-newpath 796 621 moveto
-793 612 790 602 788 593 curveto
+newpath 892 621 moveto
+889 612 886 602 884 593 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 791 592 moveto
-785 583 lineto
-785 594 lineto
+newpath 887 592 moveto
+881 583 lineto
+881 594 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 791 592 moveto
-785 583 lineto
-785 594 lineto
+newpath 887 592 moveto
+881 583 lineto
+881 594 lineto
 closepath
 stroke
 end grestore
 
 %      cic_proof_checking
 gsave 10 dict begin
-559 454 110 25 ellipse_path
+655 454 110 25 ellipse_path
 stroke
 gsave 10 dict begin
-463 446 moveto
+559 446 moveto
 (cic_proof_checking)
 [10.56 6.72 10.56 12 12 7.92 12 12 7.92 12 10.56 12 10.56 10.56 12 6.72 12 12]
 xshow
@@ -402,33 +402,33 @@ end grestore
 end grestore
 
 %      cic_acic -> cic_proof_checking
-newpath 752 535 moveto
-734 520 708 500 682 488 curveto
-672 483 661 479 650 475 curveto
+newpath 848 535 moveto
+830 520 804 500 778 488 curveto
+768 483 757 479 746 475 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 651 472 moveto
-640 472 lineto
-649 478 lineto
+newpath 747 472 moveto
+736 472 lineto
+745 478 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 651 472 moveto
-640 472 lineto
-649 478 lineto
+newpath 747 472 moveto
+736 472 lineto
+745 478 lineto
 closepath
 stroke
 end grestore
 
 %      cic_disambiguation
 gsave 10 dict begin
-804 734 109 25 ellipse_path
+900 734 109 25 ellipse_path
 stroke
 gsave 10 dict begin
-709 726 moveto
+805 726 moveto
 (cic_disambiguation)
 [10.56 6.72 10.56 12 12 6.72 9.36 10.56 18.72 12 6.72 12 12 10.56 6.72 6.72 12 12]
 xshow
@@ -436,32 +436,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> acic_content
-newpath 804 708 moveto
-804 700 804 691 804 682 curveto
+newpath 900 708 moveto
+900 700 900 691 900 682 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 808 682 moveto
-804 672 lineto
-801 682 lineto
+newpath 904 682 moveto
+900 672 lineto
+897 682 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 808 682 moveto
-804 672 lineto
-801 682 lineto
+newpath 904 682 moveto
+900 672 lineto
+897 682 lineto
 closepath
 stroke
 end grestore
 
 %      cic_unification
 gsave 10 dict begin
-353 646 86 25 ellipse_path
+449 646 86 25 ellipse_path
 stroke
 gsave 10 dict begin
-281 638 moveto
+377 638 moveto
 (cic_unification)
 [10.56 6.72 10.56 12 12 12 6.72 7.92 6.72 10.56 10.56 6.72 6.72 12 12]
 xshow
@@ -469,32 +469,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> cic_unification
-newpath 720 718 moveto
-638 702 517 678 436 662 curveto
+newpath 816 718 moveto
+734 702 613 678 532 662 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 436 659 moveto
-426 660 lineto
-435 665 lineto
+newpath 532 659 moveto
+522 660 lineto
+531 665 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 436 659 moveto
-426 660 lineto
-435 665 lineto
+newpath 532 659 moveto
+522 660 lineto
+531 665 lineto
 closepath
 stroke
 end grestore
 
 %      whelp
 gsave 10 dict begin
-371 558 44 25 ellipse_path
+467 558 44 25 ellipse_path
 stroke
 gsave 10 dict begin
-341 550 moveto
+437 550 moveto
 (whelp)
 [17.28 12 10.56 6.72 12]
 xshow
@@ -502,32 +502,32 @@ end grestore
 end grestore
 
 %      cic_disambiguation -> whelp
-newpath 749 712 moveto
-663 676 498 609 417 577 curveto
+newpath 845 712 moveto
+759 676 594 609 513 577 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 419 574 moveto
-408 573 lineto
-416 580 lineto
+newpath 515 574 moveto
+504 573 lineto
+512 580 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 419 574 moveto
-408 573 lineto
-416 580 lineto
+newpath 515 574 moveto
+504 573 lineto
+512 580 lineto
 closepath
 stroke
 end grestore
 
 %      content_pres
 gsave 10 dict begin
-1009 734 76 25 ellipse_path
+1105 734 76 25 ellipse_path
 stroke
 gsave 10 dict begin
-947 726 moveto
+1043 726 moveto
 (content_pres)
 [10.56 12 12 6.72 10.56 12 6.72 12 12 7.92 10.56 9.36]
 xshow
@@ -535,32 +535,32 @@ end grestore
 end grestore
 
 %      content_pres -> acic_content
-newpath 962 714 moveto
-931 701 892 684 860 670 curveto
+newpath 1058 714 moveto
+1027 701 988 684 956 670 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 862 667 moveto
-851 666 lineto
-859 673 lineto
+newpath 958 667 moveto
+947 666 lineto
+955 673 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 862 667 moveto
-851 666 lineto
-859 673 lineto
+newpath 958 667 moveto
+947 666 lineto
+955 673 lineto
 closepath
 stroke
 end grestore
 
 %      utf8_macros
 gsave 10 dict begin
-890 366 75 25 ellipse_path
+986 366 75 25 ellipse_path
 stroke
 gsave 10 dict begin
-829 358 moveto
+925 358 moveto
 (utf8_macros)
 [12 6.72 7.92 12 12 18.72 10.56 10.56 7.92 12 9.36]
 xshow
@@ -568,32 +568,32 @@ end grestore
 end grestore
 
 %      content_pres -> utf8_macros
-newpath 1001 708 moveto
-980 644 925 475 901 401 curveto
+newpath 1097 708 moveto
+1076 644 1021 475 997 401 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 904 400 moveto
-898 391 lineto
-898 402 lineto
+newpath 1000 400 moveto
+994 391 lineto
+994 402 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 904 400 moveto
-898 391 lineto
-898 402 lineto
+newpath 1000 400 moveto
+994 391 lineto
+994 402 lineto
 closepath
 stroke
 end grestore
 
 %      grafite
 gsave 10 dict begin
-876 822 46 25 ellipse_path
+972 822 46 25 ellipse_path
 stroke
 gsave 10 dict begin
-844 814 moveto
+940 814 moveto
 (grafite)
 [12 7.92 10.56 7.92 6.72 6.72 10.56]
 xshow
@@ -601,54 +601,54 @@ end grestore
 end grestore
 
 %      grafite -> content_pres
-newpath 906 802 moveto
-923 791 946 776 966 763 curveto
+newpath 1002 802 moveto
+1019 791 1042 776 1062 763 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 968 766 moveto
-974 757 lineto
-964 760 lineto
+newpath 1064 766 moveto
+1070 757 lineto
+1060 760 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 968 766 moveto
-974 757 lineto
-964 760 lineto
+newpath 1064 766 moveto
+1070 757 lineto
+1060 760 lineto
 closepath
 stroke
 end grestore
 
 %      cic_unification -> cic_proof_checking
-newpath 386 622 moveto
-399 613 413 602 425 592 curveto
-464 558 504 516 530 486 curveto
+newpath 482 622 moveto
+495 613 509 602 521 592 curveto
+560 558 600 516 626 486 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 532 489 moveto
-537 479 lineto
-527 484 lineto
+newpath 628 489 moveto
+633 479 lineto
+623 484 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 532 489 moveto
-537 479 lineto
-527 484 lineto
+newpath 628 489 moveto
+633 479 lineto
+623 484 lineto
 closepath
 stroke
 end grestore
 
 %      tactics
 gsave 10 dict begin
-347 734 45 25 ellipse_path
+443 734 45 25 ellipse_path
 stroke
 gsave 10 dict begin
-316 726 moveto
+412 726 moveto
 (tactics)
 [6.72 10.56 10.56 6.72 6.72 10.56 9.36]
 xshow
@@ -656,56 +656,56 @@ end grestore
 end grestore
 
 %      tactics -> cic_unification
-newpath 349 708 moveto
-350 700 350 691 351 682 curveto
+newpath 445 708 moveto
+446 700 446 691 447 682 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 355 682 moveto
-351 672 lineto
-348 682 lineto
+newpath 451 682 moveto
+447 672 lineto
+444 682 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 355 682 moveto
-351 672 lineto
-348 682 lineto
+newpath 451 682 moveto
+447 672 lineto
+444 682 lineto
 closepath
 stroke
 end grestore
 
 %      tactics -> whelp
-newpath 310 719 moveto
-291 708 268 693 257 672 curveto
-245 648 241 633 257 612 curveto
-277 586 298 606 326 592 curveto
-330 590 334 588 337 585 curveto
+newpath 406 719 moveto
+387 708 364 693 353 672 curveto
+341 648 337 633 353 612 curveto
+373 586 394 606 422 592 curveto
+426 590 430 588 433 585 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 339 588 moveto
-346 580 lineto
-336 582 lineto
+newpath 435 588 moveto
+442 580 lineto
+432 582 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 339 588 moveto
-346 580 lineto
-336 582 lineto
+newpath 435 588 moveto
+442 580 lineto
+432 582 lineto
 closepath
 stroke
 end grestore
 
 %      paramodulation
 gsave 10 dict begin
-347 822 90 25 ellipse_path
+443 822 90 25 ellipse_path
 stroke
 gsave 10 dict begin
-271 814 moveto
+367 814 moveto
 (paramodulation)
 [12 10.56 7.92 10.56 18.72 12 12 12 6.72 10.56 6.72 6.72 12 12]
 xshow
@@ -713,32 +713,32 @@ end grestore
 end grestore
 
 %      paramodulation -> tactics
-newpath 347 796 moveto
-347 788 347 779 347 770 curveto
+newpath 443 796 moveto
+443 788 443 779 443 770 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 351 770 moveto
-347 760 lineto
-344 770 lineto
+newpath 447 770 moveto
+443 760 lineto
+440 770 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 351 770 moveto
-347 760 lineto
-344 770 lineto
+newpath 447 770 moveto
+443 760 lineto
+440 770 lineto
 closepath
 stroke
 end grestore
 
 %      cic
 gsave 10 dict begin
-466 366 28 25 ellipse_path
+562 366 28 25 ellipse_path
 stroke
 gsave 10 dict begin
-452 358 moveto
+548 358 moveto
 (cic)
 [10.56 6.72 10.56]
 xshow
@@ -747,10 +747,10 @@ end grestore
 
 %      urimanager
 gsave 10 dict begin
-561 278 70 25 ellipse_path
+657 278 70 25 ellipse_path
 stroke
 gsave 10 dict begin
-505 270 moveto
+601 270 moveto
 (urimanager)
 [12 7.92 6.72 18.72 10.56 12 10.56 12 10.56 7.92]
 xshow
@@ -758,32 +758,32 @@ end grestore
 end grestore
 
 %      cic -> urimanager
-newpath 486 347 moveto
-498 336 514 322 528 309 curveto
+newpath 582 347 moveto
+594 336 610 322 624 309 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 530 312 moveto
-535 302 lineto
-525 307 lineto
+newpath 626 312 moveto
+631 302 lineto
+621 307 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 530 312 moveto
-535 302 lineto
-525 307 lineto
+newpath 626 312 moveto
+631 302 lineto
+621 307 lineto
 closepath
 stroke
 end grestore
 
 %      xml
 gsave 10 dict begin
-747 174 33 25 ellipse_path
+843 174 33 25 ellipse_path
 stroke
 gsave 10 dict begin
-728 166 moveto
+824 166 moveto
 (xml)
 [12 18.72 6.72]
 xshow
@@ -791,54 +791,54 @@ end grestore
 end grestore
 
 %      cic -> xml
-newpath 460 341 moveto
-453 306 447 243 481 208 curveto
-496 192 631 181 703 177 curveto
+newpath 556 341 moveto
+549 306 543 243 577 208 curveto
+592 192 727 181 799 177 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 703 180 moveto
-713 176 lineto
-703 174 lineto
+newpath 799 180 moveto
+809 176 lineto
+799 174 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 703 180 moveto
-713 176 lineto
-703 174 lineto
+newpath 799 180 moveto
+809 176 lineto
+799 174 lineto
 closepath
 stroke
 end grestore
 
 %      cic_proof_checking -> cic
-newpath 533 429 moveto
-521 417 506 404 494 392 curveto
+newpath 629 429 moveto
+617 417 602 404 590 392 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 496 389 moveto
-486 385 lineto
-491 394 lineto
+newpath 592 389 moveto
+582 385 lineto
+587 394 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 496 389 moveto
-486 385 lineto
-491 394 lineto
+newpath 592 389 moveto
+582 385 lineto
+587 394 lineto
 closepath
 stroke
 end grestore
 
 %      getter
 gsave 10 dict begin
-559 366 42 25 ellipse_path
+655 366 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-531 358 moveto
+627 358 moveto
 (getter)
 [12 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -846,53 +846,53 @@ end grestore
 end grestore
 
 %      cic_proof_checking -> getter
-newpath 559 428 moveto
-559 420 559 411 559 402 curveto
+newpath 655 428 moveto
+655 420 655 411 655 402 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 563 402 moveto
-559 392 lineto
-556 402 lineto
+newpath 659 402 moveto
+655 392 lineto
+652 402 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 563 402 moveto
-559 392 lineto
-556 402 lineto
+newpath 659 402 moveto
+655 392 lineto
+652 402 lineto
 closepath
 stroke
 end grestore
 
 %      getter -> urimanager
-newpath 560 340 moveto
-560 332 560 323 560 314 curveto
+newpath 656 340 moveto
+656 332 656 323 656 314 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 564 314 moveto
-560 304 lineto
-557 314 lineto
+newpath 660 314 moveto
+656 304 lineto
+653 314 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 564 314 moveto
-560 304 lineto
-557 314 lineto
+newpath 660 314 moveto
+656 304 lineto
+653 314 lineto
 closepath
 stroke
 end grestore
 
 %      registry
 gsave 10 dict begin
-747 278 52 25 ellipse_path
+843 278 52 25 ellipse_path
 stroke
 gsave 10 dict begin
-709 270 moveto
+805 270 moveto
 (registry)
 [7.92 10.56 12 6.72 9.36 6.72 7.92 12]
 xshow
@@ -900,32 +900,32 @@ end grestore
 end grestore
 
 %      getter -> registry
-newpath 593 350 moveto
-623 336 667 316 700 300 curveto
+newpath 689 350 moveto
+719 336 763 316 796 300 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 701 303 moveto
-709 296 lineto
-698 297 lineto
+newpath 797 303 moveto
+805 296 lineto
+794 297 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 701 303 moveto
-709 296 lineto
-698 297 lineto
+newpath 797 303 moveto
+805 296 lineto
+794 297 lineto
 closepath
 stroke
 end grestore
 
 %      metadata
 gsave 10 dict begin
-371 454 58 25 ellipse_path
+467 454 58 25 ellipse_path
 stroke
 gsave 10 dict begin
-327 446 moveto
+423 446 moveto
 (metadata)
 [18.72 10.56 6.72 10.56 12 10.56 6.72 10.56]
 xshow
@@ -933,54 +933,54 @@ end grestore
 end grestore
 
 %      metadata -> cic
-newpath 396 431 moveto
-409 419 425 404 438 392 curveto
+newpath 492 431 moveto
+505 419 521 404 534 392 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 441 394 moveto
-446 385 lineto
-436 389 lineto
+newpath 537 394 moveto
+542 385 lineto
+532 389 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 441 394 moveto
-446 385 lineto
-436 389 lineto
+newpath 537 394 moveto
+542 385 lineto
+532 389 lineto
 closepath
 stroke
 end grestore
 
 %      metadata -> getter
-newpath 415 437 moveto
-447 424 488 408 504 400 curveto
-510 397 516 394 521 390 curveto
+newpath 511 437 moveto
+543 424 584 408 600 400 curveto
+606 397 612 394 617 390 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 523 393 moveto
-530 385 lineto
-520 387 lineto
+newpath 619 393 moveto
+626 385 lineto
+616 387 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 523 393 moveto
-530 385 lineto
-520 387 lineto
+newpath 619 393 moveto
+626 385 lineto
+616 387 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql
 gsave 10 dict begin
-745 366 50 25 ellipse_path
+841 366 50 25 ellipse_path
 stroke
 gsave 10 dict begin
-709 358 moveto
+805 358 moveto
 (hmysql)
 [12 18.72 12 9.36 12 6.72]
 xshow
@@ -988,55 +988,55 @@ end grestore
 end grestore
 
 %      metadata -> hmysql
-newpath 413 436 moveto
-421 433 430 430 439 428 curveto
-545 402 579 432 682 400 curveto
-690 398 697 394 704 391 curveto
+newpath 509 436 moveto
+517 433 526 430 535 428 curveto
+641 402 675 432 778 400 curveto
+786 398 793 394 800 391 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 706 394 moveto
-713 386 lineto
-703 388 lineto
+newpath 802 394 moveto
+809 386 lineto
+799 388 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 706 394 moveto
-713 386 lineto
-703 388 lineto
+newpath 802 394 moveto
+809 386 lineto
+799 388 lineto
 closepath
 stroke
 end grestore
 
 %      whelp -> metadata
-newpath 371 532 moveto
-371 519 371 504 371 490 curveto
+newpath 467 532 moveto
+467 519 467 504 467 490 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 375 490 moveto
-371 480 lineto
-368 490 lineto
+newpath 471 490 moveto
+467 480 lineto
+464 490 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 375 490 moveto
-371 480 lineto
-368 490 lineto
+newpath 471 490 moveto
+467 480 lineto
+464 490 lineto
 closepath
 stroke
 end grestore
 
 %      extlib
 gsave 10 dict begin
-747 86 42 25 ellipse_path
+843 86 42 25 ellipse_path
 stroke
 gsave 10 dict begin
-719 78 moveto
+815 78 moveto
 (extlib)
 [10.56 12 6.72 6.72 6.72 12]
 xshow
@@ -1045,10 +1045,10 @@ end grestore
 
 %      hgdome
 gsave 10 dict begin
-873 278 54 25 ellipse_path
+969 278 54 25 ellipse_path
 stroke
 gsave 10 dict begin
-833 270 moveto
+929 270 moveto
 (hgdome)
 [12 12 12 12 18.72 10.56]
 xshow
@@ -1056,136 +1056,136 @@ end grestore
 end grestore
 
 %      hgdome -> xml
-newpath 855 254 moveto
-843 239 826 221 809 208 curveto
-802 202 793 197 785 192 curveto
+newpath 951 254 moveto
+939 239 922 221 905 208 curveto
+898 202 889 197 881 192 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 786 189 moveto
-776 187 lineto
-783 195 lineto
+newpath 882 189 moveto
+872 187 lineto
+879 195 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 786 189 moveto
-776 187 lineto
-783 195 lineto
+newpath 882 189 moveto
+872 187 lineto
+879 195 lineto
 closepath
 stroke
 end grestore
 
 %      hmysql -> registry
-newpath 746 340 moveto
-746 332 746 323 746 314 curveto
+newpath 842 340 moveto
+842 332 842 323 842 314 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 750 314 moveto
-746 304 lineto
-743 314 lineto
+newpath 846 314 moveto
+842 304 lineto
+839 314 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 750 314 moveto
-746 304 lineto
-743 314 lineto
+newpath 846 314 moveto
+842 304 lineto
+839 314 lineto
 closepath
 stroke
 end grestore
 
 %      registry -> xml
-newpath 747 252 moveto
-747 239 747 224 747 210 curveto
+newpath 843 252 moveto
+843 239 843 224 843 210 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 751 210 moveto
-747 200 lineto
-744 210 lineto
+newpath 847 210 moveto
+843 200 lineto
+840 210 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 751 210 moveto
-747 200 lineto
-744 210 lineto
+newpath 847 210 moveto
+843 200 lineto
+840 210 lineto
 closepath
 stroke
 end grestore
 
 %      xml -> extlib
-newpath 747 148 moveto
-747 140 747 131 747 122 curveto
+newpath 843 148 moveto
+843 140 843 131 843 122 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 751 122 moveto
-747 112 lineto
-744 122 lineto
+newpath 847 122 moveto
+843 112 lineto
+840 122 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 751 122 moveto
-747 112 lineto
-744 122 lineto
+newpath 847 122 moveto
+843 112 lineto
+840 122 lineto
 closepath
 stroke
 end grestore
 
-%      DrawGraph
+%      DependencyAnalyzer
 gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 128 576 moveto
+newpath 224 576 moveto
 0 576 lineto
 0 540 lineto
-128 540 lineto
+224 540 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 128 576 moveto
+newpath 224 576 moveto
 0 576 lineto
 0 540 lineto
-128 540 lineto
+224 540 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-7 550 moveto
-(DrawGraph)
-[17.28 7.92 10.56 17.28 17.28 7.92 10.56 12 12]
+8 550 moveto
+(DependencyAnalyzer)
+[17.28 10.56 12 10.56 12 12 10.56 12 10.56 12 17.28 12 10.56 6.72 12 10.56 10.56 7.92]
 xshow
 end grestore
 end grestore
 
-%      DrawGraph -> metadata
-newpath 77 540 moveto
-90 523 112 498 137 488 curveto
-173 472 275 488 312 480 curveto
-316 479 319 478 323 477 curveto
+%      DependencyAnalyzer -> metadata
+newpath 136 540 moveto
+159 523 197 498 233 488 curveto
+271 477 371 488 408 480 curveto
+412 479 415 478 419 477 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 324 480 moveto
-332 473 lineto
-321 474 lineto
+newpath 420 480 moveto
+428 473 lineto
+417 474 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 324 480 moveto
-332 473 lineto
-321 474 lineto
+newpath 420 480 moveto
+428 473 lineto
+417 474 lineto
 closepath
 stroke
 end grestore
@@ -1195,22 +1195,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 294 472 moveto
-218 472 lineto
-218 436 lineto
-294 436 lineto
+newpath 390 472 moveto
+314 472 lineto
+314 436 lineto
+390 436 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 294 472 moveto
-218 472 lineto
-218 436 lineto
-294 436 lineto
+newpath 390 472 moveto
+314 472 lineto
+314 436 lineto
+390 436 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-226 446 moveto
+322 446 moveto
 (Getter)
 [17.28 10.56 6.72 6.72 10.56 7.92]
 xshow
@@ -1218,24 +1218,24 @@ end grestore
 end grestore
 
 %      Getter -> getter
-newpath 283 436 moveto
-288 433 294 430 300 428 curveto
-387 397 418 430 504 400 curveto
-511 397 517 394 523 391 curveto
+newpath 379 436 moveto
+384 433 390 430 396 428 curveto
+483 397 514 430 600 400 curveto
+607 397 613 394 619 391 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 525 394 moveto
-532 386 lineto
-522 388 lineto
+newpath 621 394 moveto
+628 386 lineto
+618 388 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 525 394 moveto
-532 386 lineto
-522 388 lineto
+newpath 621 394 moveto
+628 386 lineto
+618 388 lineto
 closepath
 stroke
 end grestore
@@ -1245,22 +1245,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 603 936 moveto
-525 936 lineto
-525 900 lineto
-603 900 lineto
+newpath 601 936 moveto
+523 936 lineto
+523 900 lineto
+601 900 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 603 936 moveto
-525 936 lineto
-525 900 lineto
-603 900 lineto
+newpath 601 936 moveto
+523 936 lineto
+523 900 lineto
+601 900 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-532 910 moveto
+530 910 moveto
 (Matita)
 [21.36 10.56 6.72 6.72 6.72 10.56]
 xshow
@@ -1268,67 +1268,67 @@ end grestore
 end grestore
 
 %      Matita -> cic_disambiguation
-newpath 561 900 moveto
-559 873 558 825 583 796 curveto
-588 790 659 771 719 756 curveto
+newpath 559 900 moveto
+557 873 556 824 581 796 curveto
+646 725 696 745 782 740 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 720 759 moveto
-729 753 lineto
-718 753 lineto
+newpath 782 743 moveto
+792 739 lineto
+782 737 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 720 759 moveto
-729 753 lineto
-718 753 lineto
+newpath 782 743 moveto
+792 739 lineto
+782 737 lineto
 closepath
 stroke
 end grestore
 
 %      Matita -> grafite
-newpath 603 916 moveto
-672 912 810 903 829 892 curveto
-843 883 854 870 861 856 curveto
+newpath 601 917 moveto
+689 915 898 908 925 892 curveto
+940 884 950 870 958 856 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 864 857 moveto
-866 847 lineto
-858 854 lineto
+newpath 961 858 moveto
+962 847 lineto
+955 855 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 864 857 moveto
-866 847 lineto
-858 854 lineto
+newpath 961 858 moveto
+962 847 lineto
+955 855 lineto
 closepath
 stroke
 end grestore
 
 %      Matita -> paramodulation
-newpath 525 916 moveto
-468 912 369 903 357 892 curveto
-348 883 345 870 344 858 curveto
+newpath 523 913 moveto
+496 909 463 902 453 892 curveto
+444 883 441 870 440 858 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 348 858 moveto
-344 848 lineto
-341 858 lineto
+newpath 444 858 moveto
+440 848 lineto
+437 858 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 348 858 moveto
-344 848 lineto
-341 858 lineto
+newpath 444 858 moveto
+440 848 lineto
+437 858 lineto
 closepath
 stroke
 end grestore
@@ -1338,22 +1338,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 296 576 moveto
-146 576 lineto
-146 540 lineto
-296 540 lineto
+newpath 392 576 moveto
+242 576 lineto
+242 540 lineto
+392 540 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 296 576 moveto
-146 576 lineto
-146 540 lineto
-296 540 lineto
+newpath 392 576 moveto
+242 576 lineto
+242 540 lineto
+392 540 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-154 550 moveto
+250 550 moveto
 (ProofChecker)
 [13.44 7.92 12 12 7.92 16.08 12 10.56 10.56 12 10.56 7.92]
 xshow
@@ -1361,24 +1361,24 @@ end grestore
 end grestore
 
 %      ProofChecker -> cic_proof_checking
-newpath 235 540 moveto
-250 523 273 498 300 488 curveto
-329 476 409 484 439 480 curveto
-450 478 461 476 472 474 curveto
+newpath 331 540 moveto
+346 523 369 498 396 488 curveto
+425 476 505 484 535 480 curveto
+546 478 557 476 568 474 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 473 477 moveto
-482 472 lineto
-472 471 lineto
+newpath 569 477 moveto
+578 472 lineto
+568 471 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 473 477 moveto
-482 472 lineto
-472 471 lineto
+newpath 569 477 moveto
+578 472 lineto
+568 471 lineto
 closepath
 stroke
 end grestore
@@ -1388,22 +1388,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 678 840 moveto
-592 840 lineto
-592 804 lineto
-678 804 lineto
+newpath 774 840 moveto
+688 840 lineto
+688 804 lineto
+774 804 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 678 840 moveto
-592 840 lineto
-592 804 lineto
-678 804 lineto
+newpath 774 840 moveto
+688 840 lineto
+688 804 lineto
+774 804 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-599 814 moveto
+695 814 moveto
 (Uwobo)
 [17.28 17.28 12 12 12]
 xshow
@@ -1411,24 +1411,24 @@ end grestore
 end grestore
 
 %      Uwobo -> content_pres
-newpath 664 804 moveto
-670 801 676 798 682 796 curveto
-785 761 818 783 923 760 curveto
-930 759 936 757 943 755 curveto
+newpath 760 804 moveto
+766 801 772 798 778 796 curveto
+881 761 914 783 1019 760 curveto
+1026 759 1032 757 1039 755 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 944 758 moveto
-953 752 lineto
-942 752 lineto
+newpath 1040 758 moveto
+1049 752 lineto
+1038 752 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 944 758 moveto
-953 752 lineto
-942 752 lineto
+newpath 1040 758 moveto
+1049 752 lineto
+1038 752 lineto
 closepath
 stroke
 end grestore
@@ -1438,22 +1438,22 @@ gsave 10 dict begin
 filled
 0.584 0.220 0.933 nodecolor
 0.584 0.220 0.933 nodecolor
-newpath 536 840 moveto
-456 840 lineto
-456 804 lineto
-536 804 lineto
+newpath 670 840 moveto
+590 840 lineto
+590 804 lineto
+670 804 lineto
 closepath
 fill
 0.584 0.220 0.933 nodecolor
-newpath 536 840 moveto
-456 840 lineto
-456 804 lineto
-536 804 lineto
+newpath 670 840 moveto
+590 840 lineto
+590 804 lineto
+670 804 lineto
 closepath
 stroke
 gsave 10 dict begin
 0.000 0.000 0.000 nodecolor
-463 814 moveto
+597 814 moveto
 (Whelp)
 [22.56 12 10.56 6.72 12]
 xshow
@@ -1461,23 +1461,46 @@ end grestore
 end grestore
 
 %      Whelp -> cic_disambiguation
-newpath 530 804 moveto
-536 801 543 798 550 796 curveto
-601 777 660 763 708 752 curveto
+newpath 662 804 moveto
+668 801 673 798 679 796 curveto
+722 779 770 764 811 754 curveto
 stroke
 gsave 10 dict begin
 solid
 1 setlinewidth
 0.000 0.000 0.000 edgecolor
-newpath 709 755 moveto
-718 750 lineto
-708 749 lineto
+newpath 812 757 moveto
+821 752 lineto
+811 751 lineto
 closepath
 fill
 0.000 0.000 0.000 edgecolor
-newpath 709 755 moveto
-718 750 lineto
-708 749 lineto
+newpath 812 757 moveto
+821 752 lineto
+811 751 lineto
+closepath
+stroke
+end grestore
+
+%      Whelp -> content_pres
+newpath 660 804 moveto
+666 801 673 798 679 796 curveto
+825 751 871 790 1019 760 curveto
+1026 759 1033 757 1040 755 curveto
+stroke
+gsave 10 dict begin
+solid
+1 setlinewidth
+0.000 0.000 0.000 edgecolor
+newpath 1041 758 moveto
+1050 752 lineto
+1039 752 lineto
+closepath
+fill
+0.000 0.000 0.000 edgecolor
+newpath 1041 758 moveto
+1050 752 lineto
+1039 752 lineto
 closepath
 stroke
 end grestore