> The reasonable thing to do with that information, would be to surveil them further, search their house, or arrest them. Not assassinate them without a trial.

Which seems to be exactly the case. Ahmad Zaidan, for example, wasn't assassinated. In fact even if the algorithm was 100% correct - it makes no sense to assassinate people solely based on whether they are terrorists or not. A lot more can be gained from surveilling some of them, etc'.

So there is really nothing at all to suggest that those algorithms alone are used to create kill lists.