don't consider contravariant parameters while searching for unimplemented methods