Add syntax for map.Map.{get,set,const}
Fix Mlw_exec.get_non_exec_logic_idents
Improve the error message in case of a non-executable logical term in programs
Remove an useless case for %old (now ghost)