#136 Missing subtype PO for assignment into state component with inv

[Peter Gorm Larsen]

The LOAD and ADD operations in teh attached file should generate subtype POs

[Luis Diogo Couto]

There are no LOAD or ADD operations in the model.

I think you attached the wrong file.

[Peter Gorm Larsen]

sorry here is the right file

[Luis Diogo Couto]

Can reproduce.

There are some larger issues involved.

The body of the operation is an action. In general, we are not generating POs for actions.

Do we consider actions inside operations as a special case?

There are also some issues with representing the process state information. See [#68].

[Luis Diogo Couto]

Subtype POs now generated for operations, as of the big ast change.

[510eac]