model-checker: Move summary printing function into model checker.