Tests that type cheking of XPath expression is done correctly
Tests variable reference with wrong type in p:with-option