fix alreadyVisited() issue in TheoryEngine
doc on miplib subs setting