Fix to the concolic test suite for column names containing special characters.
Merge branch 'master' into feature-concolic-loop-skipping