True to use a wider range of possible assumptions for Statement calculations.

const bool EXPANDED_PEBES = false;