plus

Null-safe ClausePartition.plus: merges two possibly-null partitions, returning null only if both are.