Testing deduction of cl vector types with terminals