is_trivial        897 src/PartitionLoops.cpp             if (is_trivial(true_value)) {
is_trivial        906 src/PartitionLoops.cpp             if (is_trivial(false_value)) {