z3: Model navigation apis refactoring (part 2)