Part 2 of: Fix corner case of useless constraint in SPECIALISE pragma