Added more complex generalization test.