I'm not sure, but I think we should only test the size of an argument whose kind is MATX. I.e. the condition should be "(kind1 == MATX && (size1 == 1x1 || size1 == 1x4)) || (kind2 == MATX && (size2 == 1x1 || size2 == 1x4))".