propagate_empty_matrices = "true";
inv ([]) == []
