add DySyEx for trace generation

[stklik]

Create a Concolic execution & mutate the output (if no symbolic path constraint exists) so we can easily create traces for the linear approximation