error with distributivity of * over + in SymEngine with symbols

build.sh

#!/usr/bin/env bash
clang main.c -lsymengine && ./a.out

main.c

#include "gmp.h"
#include <symengine/cwrapper.h>

int main() {
    basic_struct* x = basic_new_heap();
    basic_struct* v = basic_new_heap();

    basic_const_set(x, "x");
    basic_const_set(v, "v");
    
    basic_struct *minus_one = basic_new_heap();
    basic_const_minus_one(minus_one);

    basic_struct *a = basic_new_heap();
    basic_add(a, v, minus_one);
    basic_mul(a, x, a);

    printf("a: %s", basic_str(a));

    basic_struct *b = basic_new_heap();
    basic_struct *xv = basic_new_heap();
    basic_struct *minus_x = basic_new_heap();
    basic_mul(xv, x, v);
    basic_mul(minus_x, x, minus_one);

    basic_add(b, xv, minus_x);
    printf("\nb: %s", basic_str(b));


    printf("\na == b ? %s", basic_eq(a, b) == 1 ? "true" : "false");


    return 0;
}

output

a: x*(-1 + v)
b: x*v - x
a == b ? false