Some LStar tweaks, made equivalence oracle interface easier to use