ParseConjList
std::vector<DisjList*>* list = ParseConjList();
std::vector<DisjList*>* ParseConjList();