singleton variable in branch ?

I get a warning in very simple code - Singleton variable in branch: Hyp

and I can't spot from where the problem arise.


subsynset(Sub, Super) :-

 s(I,_,Sub,Kind,_,_),

   ( hyp(I, J) -> s(J,_,Hyp,Kind,_,_), Hyp = Super

  ; subsynset(Hyp, Super)  ).



I tried to swap the Hyp binding - just to see if the warning goes away -
without luck


...

-> s(J,_,Hyp,Kind,_,_), Hyp = Super

...


Seems that Hyp is present on both branches. Maybe I'm missing some
execution path ? Any hint about ?


Thanks Carlo
-------------- next part --------------
HTML attachment scrubbed and removed