Updating: handling guarded pattern matching.