R_simplified_if_then_else - else part not simplifying correctly.

[GoogleCodeExporter]

Note: Ensure new R_simplify logic is capable of handling this.

Note: R_simplified_if_then_else currently delegates to R_basic for its 
functionality.

If you attempt to simplify the following conditional:

if C = true then or(C, B) else and(C, B)

it is getting returned as:

if C = true then true else C and B

However, should this not be:

if C = true then true else false

as we know that C != true in the else branch?

In addition, the pseudo-code for R_simplified_if_then_else has been updated 
from:

E2 <- R_constrained_simplification(C, E2)

to:

E2 <- R_constrained_simplification(not C, E2)

in order to specify the context correctly for the constrained simplification of 
the else portion of the branch.

Original issue reported on code.google.com by [email protected] on 11 Apr 2013 at 12:37