remove garbage logical variables from states

performance gains dubious: on some coreStar examples, it makes things
slightly slower, even though the garbage collection itself takes
non-measurable time! That's a puzzle for me... Maybe the SMT solver has
a harder time with less garbage...

For llStar examples it makes things a little faster so far.

Moreover, it makes states easier to read for the user.
moved a comment