Good point, code should work the way that it is supposed to but ultimately any code will have flaws because it is written by human beings. So in one aspect we should strive to write the best code that we can but alternatively we can also profit from implicit mispricing based on the false assumption that more automation is inherently safe.