Renamed IbpReduceVars into IbpReduceOrder, which is a clearer name.