Renamed variables in verification fixture.
Introduced a namespace for verification errors.