Some LStar tweaks, made equivalence oracle interface easier to use
Merge branch 'develop' into driver