propagate_empty_matrices = 1;
inv ([]) == []
