idem : verifyInterfaceIsImplemented is better