DotGraph toDot(ConceptLattice[&Object, &Attribute] cl)
DotGraph toDot(ConceptLattice[&Object, &Attribute] cl, bool lab)
import analysis::formalconcepts::FCA;