expand_invoke: added_information about synchronized_value