I tend to sympathise with this view, but I think one interesting thing which it tried to accomplish was code-generation or auto-verification, in a way it was an

I tend to sympathise with this view, but I think one interesting thing which it tried to accomplish was code-generation or auto-verification, in a way it was an interesting early form of no-code in this regard Also it is quite useful to understand sophisticated class dependency diagrams.