Full PRE analysis for BinaryExressions.