refined GenerateGetters, GenerateModifiable, processing correctness