Fixing Driver  verification added test for generalizations