adding comments where to check for conjunctions

dtree_teacher_gem_stanley.py

@@ -118,6 +118,7 @@ class DTreeGEMStanleyGurobiTeacher(GEMStanleyGurobiTeacher):
     def check(self, candidate: z3.BoolRef) -> z3.CheckSatResult:
         self._cexs.clear()
         conjunct_iter = self._candidate_to_conjuncts(candidate)
+        #TODO ANGELLO: add check if too many conjunctions
         print("Checking candidate", flush=True)
         for conjunct in conjunct_iter:
             # print(".", end='', flush=True)