Don't invent variables, use accessors
Some engineering to make CEGIS (even) faster