StaticCaching.sc: add some examples of BetaReduction.normalize