// makes v a symbolic object
public static Object makeSymbolicRef(String name, Object v) {
assert (v != null); // needed for type info
if (Verify.randomBool()) {
makeFieldsSymbolic(name, v);
} else {
v = makeSymbolicNull(name);
}
return v;
}
