Fix issue with alternatives in the bindsvars reduction.
Fix reduction errors for some core strategy.