Fix making alldiffs that involve far too many variables. The generator was alldiffing all variables.