Symbolically execute the following Java code (i.e., create a symbolic execution tree) to determine and return the minimum of three inputs and determine if it ever returns the wrong result.

static int minimum(int a, int b, int c) {

int min = a;

if(min > b) {

min = b;

if(min > c) {

min = c;

}

}

return min;

}

Discuss the symbolic values and path conditional in the symbolic execution tree to justify your choice. If the code is incorrect, provide a concrete set of values that illustrates the error.