Не обязательно. Попробуйте, например, на фортоподобном языке, который куда проще Оберона, достичь той же надёжности при прочих равных. Надёжность программ - это не то явление, которое так примитивно зависит от простоты языка.