Differential symbolic execution | Synapse