[Variability Encoding] inserted special CPAchecker code for random value
generation