SumOutFirstVariable and SumOutLastVariable will only are correctly defined if the variable is binary.