rename method consistent with terminology

dtree_synth.py

@@ -115,7 +115,7 @@ def load_partitioned_examples(file_name: str, teacher: Teacher, partition) \
                 ret[part][2] += 1
             #TODO note, isin't variable _ being passed to is_positive.
             # isint _ ground truth for each s in ss?
-            elif teacher.is_positive_example(s): 
+            elif teacher.is_safe_state(s): 
                 ret[part][0].append(s)
             else:
                 ret[part][1].append(s)
@@ -164,6 +164,7 @@ def main(dim:str, bnd_relax:float ):
             print(f"Part Index {i}:", f"y in [{lb[1]:.03}, {ub[1]:.03}] (m);", f"θ in [{lb[2]:.03}, {ub[2]:.03}] (deg);",
                   f"# safe: {len(safe_dps)}", f"# unsafe: {len(unsafe_dps):03}", f"# NaN: {num_nan}")
 
+
     result = []
     for i, (part, (safe_dps, unsafe_dps, num_nan)) in enumerate(part_to_examples.items()):
         #if not i == 1: