1.1 --- a/TODO.md	Tue Oct 03 16:31:59 2023 +0200
     1.2 +++ b/TODO.md	Tue Oct 03 16:33:54 2023 +0200
     1.3 @@ -52,11 +52,9 @@
     1.4  
     1.5  ***** priority of WN items is top down, most urgent/simple on top
     1.6  
     1.7 -* WN: make signature of I_Model.s_make_complete equal to I_Model.s_are_complete (pbl_id!)
     1.8  * WN: uncomment: I_Model.check_internal (*filter (fn (_, _, _, m_field ,_) ..*)
     1.9     after I_Model.s_make_complete does NOT create m_field #undef, "i_model_empty";
    1.10     see test/../i-model.sml --- setup test data for I_Model.s_make_complete ---
    1.11 -* WN: replace of_max_variant by max_variants + make_environments
    1.12  * WN: ---broken elementwise input to lists---
    1.13  * WN: undetected ERROR in autoCalculate --- due to Post_Conds.check? (_OLD .. dispels ?)
    1.14  * WN: "review (descriptor, ts)"; ts : term list, because this supports element-wise input of lists.