let get_init_states (st,_) = List.filter (fun x -> x.init = Bool3.True) st