Function complete_support_comparison 

fn complete_support_comparison(
    op: SymCmpOp,
    left: &SymExpr,
    right: &SymExpr,
    model: &mut HashMap<Symbol, U256>,
) -> bool