Errata for ISoLA 2016 Article "Symbolic Execution with CEGAR"

- page 202: equation after first paragraph of Section 3:
    Replace "v(x) = s(v(x)) = c(x)}"
    by             "s(v(x)) = c(x)}"

- page 202: paragraph "1. For an assignment operation":
    Replace the last sentence starting with: "If exp_/v contains a symbolic value of S ..."
    by "Otherwise, if exp_/v contains a symbolic value of S,
        then the expression exp_/v is not evaluated and is added as a new symbolic value to S."