This test seems to be confusing. Neither a or b are ever used, just declared. So it should report a violation.