Но это будет хитрый частный случай. Который не лучше ли обработать отдельным IF-ом? Тем более что для этого нововведения IF ptr # NIL THEN ... придется засовывать в реализацию охраны типа. А для всёх и всегда ли такая операция будет не лишней?