z3: Model navigation apis refactoring (part 1)