[CST-2] Optimising Compiler

[Shu Yan Chan]

> This is particularly useful if the set of flow values turns out to be a
> singleton: an indirect call can be substituted by a direct call which is
> more efficient.

If this is how control flow values is going to be used, then should P22 of
the note (... is imprecise becasue 7^33 is memeber of alpha 1) reads (... is
imprecise becasue fnx.x^(22) is memeber of alpha 1)?
The program returns/evaluated to 7 and has a Local function fnx.x ?

Thanks.

Shu Yan