real fix for qualified interface types for static inner interfaces
in satisfies clause (last commit was rubbish)