Fixed test /Feature/PreferCex.c: Z3 instantiates different value for unc...

...onstrained buf[3]