Update operational semantics for Call.