This is weird. Could you turn trace on using the following diagram:
!pragma svek_trace on
[A] - interface
[B] ..> interface : use
With the pragma directive, two "svek.dot" and "svek.svg" files will then be generated in your current directory.
Could you send both of them by mail to email@example.com so that we investigate this ?