Prove that getter/setter generation works but that they aren't being called