add another test exhibiting a wrong simplification in RECOP
Authored by: mantepse 2010-01-30
Parent: [r790]
Child: [r792]