IfThenElseConditionIsTrueInThenBranchAndFalseInElseBranch using Syntactic substitute instead of Semantic slows things down even though it shouldn't

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Replace SyntacticSubstitute by SemanticSubstitute in 
IfThenElseConditionIsTrueInThenBranchAndFalseInElseBranch
2. Run aic-praise tests
3. See if it is faster.

Syntactic substitute is faster than semantic since it is simpler and more 
limited. When run in isolation, it is twice as fast as the semantic one. 
However, in the context of praise tests things get a little slower. It may be 
because semantic substitution creates more opportunities for simplification, 
although I don't see how that is the case because it does not decrease the 
number of cases, it simply creates more specialized cases out of more generic 
ones, which are also retained in most cases.

Original issue reported on code.google.com by [email protected] on 5 Sep 2013 at 12:21

[GoogleCodeExporter]

Original comment by [email protected] on 5 Sep 2013 at 12:21

• Added labels: Type-Enhancement
• Removed labels: Type-Defect