CSE machine: highlighting not updated after function call

[martin-henz]

Currently the highlighting after function call looks like this:

Note that the function call remains highlighed although the control now contains the body of the function. The highlighting should be updated after the call instruction to highlight the function body that has been copied to control.