matmul merge_explicit rule