Reverted Jan R's changes, but implemented a different fix:
Reverted Jan R's changes, but implemented a different fix:

See also my email on monetdb-pf-checkins that I will quote here:

> Hmm... You are right, the self axis can return more than one node.
>
> However, it will never return more nodes than its input. So we should
> have something like
>
>            e :: t
>  ----------------------------
>   e/self::t' :: t'<quant(t)>
>
> (If e has type t, we should use type t' as the return type, but modify
> it with the quantifier of t.)

zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb