Fix corner case of useless constraint in SPECIALISE pragma