Add test for getter violation