The tests listed below all contain axes which have type element()*

For example see FS 8.2.2.1.9 Inference rules for the ancestor axis

statEnv |-  axis ancestor:: of NodeType : (element | document)*

so tests like ancestor-3 contain expressions like:

($input-context1/works/employee[1]/ancestor::works) is ($input-context1/works)

where the LHS type checks to element()*, but the signature of is,<<,>> are:

op:is-same-node($parameter1 as node(), $parameter2 as node()) as xs:boolean
op:node-before($parameter1 as node(), $parameter2 as node()) as xs:boolean
op:node-after($parameter1 as node(), $parameter2 as node()) as xs:boolean

hence static-type checking fails. Not too sure what the best resolution is, maybe exactly-one on the LHS?

ancestor-3
ancestor-4
ancestor-5
ancestor-6
ancestor-7
ancestor-8
ancestor-9
ancestor-10
ancestorself-3
ancestorself-4
ancestorself-5
ancestorself-6
ancestorself-7
ancestorself-8
ancestorself-9
ancestorself-10
following-3
following-4
following-6
following-7
following-8
following-9
following-10
followingsibling-3
followingsibling-4
followingsibling-5
followingsibling-6
followingsibling-7
followingsibling-8
followingsibling-9
followingsibling-10
preceding-3
preceding-4
preceding-5
preceding-6
preceding-7
preceding-8
preceding-9
preceding-10
preceding-sibling-3
preceding-sibling-4
preceding-sibling-5
preceding-sibling-6
preceding-sibling-7
preceding-sibling-9
preceding-sibling-10