Predicate isConstantComparison

Holds if comparison operation co is constant with the Boolean value b. For example, the comparison x > x is constantly false in

int MaxWrong(int x, int y) => x > x ? x : y;