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
Actually output evars when generalising