Merge branch '1.4.x'

diff --cc src/expr/node_manager.cpp
Simple merge

diff --cc src/smt/smt_engine.cpp
Simple merge

diff --cc test/regress/run_regression
Simple merge