pub fn is_complement(a: &Expression, b: &Expression) -> bool
Check if b is the complement of a (i.e., b = NOT a)