let variables_of_matrix matrix = List.map (fun row -> match row with | variable :: _ -> variable | _ -> assert false) (* no line should be empty *) matrix