I linked to a book in my comment that refutes what you say by showing how the constructs themselves avoid many problems. Further, there were empirical studies done by the military and defense contractors in the past that compared defect rates of Ada vs many other languages. Ada always came out on top, sometimes with half the defect rate. So, your claim is wrong in theory and practice.