Store the expectations in local context only

[Bergmann89]

Add the possibility to store the expectations of associated function in the local context only. Using this approach it is possible to define !Send expectations for associated functions.