variable scoping and log:semantics

As discussed yesterday, the 2 test cases from Doerthe
gave wrong results with eye and this is now corrected.

For the first case http://ppr.cs.dal.ca:3002/n3/editor/s/ng3qLmfo
eye v21.0706.1214 now gives
_:e_y_1 a :Unicorn.
:I :doubt {<
http://josd.github.io/.well-known/genid/pMzSNOnT8TysxexswIGqHVqOvRk#e_x_1>
a :Unicorn}.

For the second case  http://ppr.cs.dal.ca:3002/n3/editor/s/a1pZ78vt
eye v21.0706.1214 now gives
:x a :Thing.
:I :believe {true => {?U_0 a :Thing}}.
and not anymore
:a :b :c.

jos

-- https://josd.github.io/ <http://josd.github.io/>