Revert "Fix missing case in model postprocessor (resolves bug #595)."

This reverts commit 61042cf551b19d06673be2b069bacc7cb1cd775a.
Corrected fix for missing case in model postprocessor (resolves bug #595).
Merge branch '1.4.x'

Conflicts:
	src/smt/model_postprocessor.cpp
Fix missing case in Boolean terms rewriting.  (Resolves bug #596.)
Merge branch '1.4.x'

Conflicts:
	src/smt/model_postprocessor.cpp
	test/regress/regress0/Makefile.am