Corrected fix for missing case in model postprocessor (resolves bug #595).
Fix missing case in Boolean terms rewriting.  (Resolves bug #596.)