Symbolic evaluation of programs | Synapse