Create model for Atomic statement and its inherited objects
opened this issue · comments
Note, please read the how to create a model document.
It takes several diagrams to complete a single model.
For instance:
"if" which you have to name if_stmt to not conflict with C "if", inherits from atomic stmt and on page 1042 of the LRM has more specification.