Permissions lost when scope is used in non-linear pattern

[AZWN]

Bug description
Scope permissions are lost when a scope is used in a non-linear pattern.

Steps to reproduce the behavior

Open the following test:

resolve {s1 s2}
  new s1,
  prgmOk(s1) == s2

signature
  relations
    rel:

rules

  prgmOk: scope -> scope
  prgmOk(s) = s :-
    !rel[] in s.

Observed behavior
There is an permission error on prgmOk(s1) == s2.

Expected behavior
No error, because s1 is owned.

Additional context

Perhaps introduced by e67871d