Плюс небольшое дополнение:

Если проверка осуществляется в процедуре, то передача параметра в виде записи или указателя неявно подразумевает оператор IS, поэтому использовать его в процедуре необязательно.