For now, Alt-Ergo does not provide a full support for the SMT-2 format. In particular, the command get-model is not recognized.
Moreover, the commands push and pop are ignored. This is why Alt-Ergo says sat, unsat, ..., unsat on the given code (when get-model is removed).