Adds errors for variable access verification.