compute_sd_Fix now checks that a proposed function also respects all
partitions (not just those in optimal_sdf_subset)