deref multi-levels if interface is satisfied by pointer#22

tigrato merged 1 commit intomastergravitational/predicate:masterfrom

tigrato/fix-multi-interfacegravitational/predicate:tigrato/fix-multi-interfaceCopy head branch name to clipboard