Putting in warning code for when the symbolic execution engine has to
process too many paths.
Added support for string concatenation.