Added test to check the results of branches_linearly_in_vars to demonstrate the correctness of the changes in the last commit.