aborting early in computeCarthesianProduct