Added a generalization test