Function complete_checked_sub_guard 

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