fix compilation bug
add new cache implementation for monotone framework
use cached values in in/out functions directly
remove cache implementation from monotone
first try fixing fix-point computation: removing FeatureExpr from circular cache
fix compile error
code formatting
add example with nested loops
no more duplicates in in/out determination;
so we can remove call to distinct
add tough example for analysis
adding caching to monotone fw