Support visitor pattern for SymbolicValue and SymbolicStmt #214
Description
Pity that is_unknown needs to be added to all elements in the tree. Another way to do this might be to use the visitor pattern, but this is fine for now.
Originally posted by @schmerl in #211 (review)