Enhance test by adding setter violations
Store field declarations in SetterVisitor