grafitetypes |--> dumpable |--> nciclibrary |--> grafiteparser --> notation_parser |--> tac |--> auto |--> eq |--> lexicon |--> notation_parser |--> interpretation | |--> nciccoercion --> unif_hint |--> termcontentpres applytransformation | |-> interpretation -> nciccoercion | | | unif_hint | |-> termcontentpres