--analysis reaching-defs test_saf/flow_loop1.nit
--analysis reaching-defs test_saf/flow_loop2.nit
--analysis reaching-defs test_saf/flow_loop3.nit
--analysis reaching-defs test_saf/flow_loop1.nit
--analysis reaching-defs test_saf/flow_loop2.nit
--analysis reaching-defs test_saf/flow_loop3.nit