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