added tricky reduction test