Generate update functions for refinements

[treiher]

It should be possible to update the context after switching to a context of an inner message. The update function should check if the complete space is used by the inner message (i.e. the length of the inner message matches the length of the refined opaque field of the outer message).