Switching to symbolic logs
Switching to symbolic exp
Adding some first tests