Ordering the execution of interactions #108
Description
It is not possible to order the interactions by the user but at least when writing a property, it is convenient that the read happens always after a write so that with one "invoke interactions" the confirmation is shown to the user.