False integrity check violations on provided variables when they are used

Problem: if an action provides a variable and the variable is used by the next action then the integrity check complains that the variable does not exist.

Solution: the integrity check must add provided variables to the execution metadata state.