Removed test file
Created solution type
First cut at adding existential variables
Add existential support to explicit backend
Add existential variable support to annealing
added existential support for genetic programming
Change specs to use existentials
Change loops benchmarks to use existential vars
Fix warning in genetic synth
Added test requiring existential vars
Added existential support to python scripts
Fix p30 spec
Fix bug in printing evars
Have explicit synth enumerate evars
Have anneal enumerate evars
Enumerate evars in genetic synth
Added reachability invariant loops
Write evars in exclusions
Typo
Fix typo