Нет, результат проверки одинаковый. IS также сработает и для предка. Однако IS не может трактовать, что потом будет с этой записью делаться, поэтому и тип автоматически не кастует для дальнейшего кода. Вы можете проверить тип, а потом запись использовать как угодно или вообще не использовать.  А вот WITH предопределяет дальнейшее использование записи в своём теле однозначно, именно как наследника определённого типа.