var_ordering and branching