Improve injection of values in symbolic tests