WalkZ3 partially implemented, needs refactoring.