Added flag for differentiating boolean expressions in literal and condition interpretations.