fn is_tautology(range: Range, val: (bool, U256), op: BinOpKind) -> bool
True if x <op> val has the same truth value for every x in range.
x <op> val
x
range