Main: added a test for the CallByName reduction.
CallByValue: new reduction strategy.