Adds extension type to Quick-Check test