xpath-2.0 - 変数が存在するかどうか、または特定の値を持っているかどうかをテストする方法

Question

「スタンドアロン」の xpath パーサー (XSLT には統合されていません) に取り組んでいます。仕様は、変数が存在するかどうかを確認する方法を定義していますか?

擬似コード:

Host language: if condition then set variable "foo" to "bar"

...

XPath: if $foo='bar' then ... 

上記の条件に応じて、変数$fooを定義することも定義しないこともできます。XPath 実装の正しい動作は何ですか?

1. 条件が false で$foo定義されていない場合、実行時エラーを発生させますか?
2. 未定義の可能性があるため、実行時/コンパイル時のエラーが発生しますか?
3. 存在しない変数にはデフォルト値（「nil」など）はないと思います。
4. ...？

仕様へのポインタを持っていることは素晴らしいことです。