1.1 --- a/TODO.md	Tue Oct 03 16:33:54 2023 +0200
     1.2 +++ b/TODO.md	Wed Oct 25 12:34:12 2023 +0200
     1.3 @@ -52,6 +52,14 @@
     1.4  
     1.5  ***** priority of WN items is top down, most urgent/simple on top
     1.6  
     1.7 +* WN: (*/---with M_Model.match_itms_oris broken elementwise input to lists---\*)
     1.8 +      (*\---with M_Model.match_itms_oris broken elementwise input to lists---/*)
     1.9 +   several tests marked in Test_Isac.thy, which have out-comments.
    1.10 +   repair them together with all <broken elementwise input to lists>
    1.11 +* WN: review PblObh {meth, ...}
    1.12 +  * fill early (Model_Problem?) with Inc []  presents input-templates
    1.13 +  * try to minimise user's contact with Method: 
    1.14 +  * M_Model.match_itms_oris can probably be replaced by i_Model.s_make_complete and Pre_Conds.check(?_*)
    1.15  * WN: uncomment: I_Model.check_internal (*filter (fn (_, _, _, m_field ,_) ..*)
    1.16     after I_Model.s_make_complete does NOT create m_field #undef, "i_model_empty";
    1.17     see test/../i-model.sml --- setup test data for I_Model.s_make_complete ---