*	enclosed(parent-child) cache storage

*	sequential flow cache storage

*	cache implemented as set of  cache invariant annotations, like:
//sin = function (x:: num)::num; cache(ResultDependsOnArgumentsOnly)//