The idea in this paper is great in that we can consider what we can definitely
get and potentially get when we only have partial information about the
program behaviour. It fits the scientific programs quite well, but not as good for
transaction handling programs such as go and gcc. This is natural since the behaviour of
these programs are quite complicated so that the partial informations can not help as
much as for the scientific programs.