It <i>probably</i> could and in testing it could, they just decided not to find out whether it would really work properly when seven people&#x27;s lives depended on it working. If you can practically avoid an edge-case you haven&#x27;t ever relied on in decades before when people&#x27;s lives depend on it, not risking it doesn&#x27;t seem that crazy.