remove erroreous optimization; renamings
adding extremal label to computation
remove changed flag from result sets; we'll optimize the algorithm later
start to enable forward computation of fix-points in while loop
finished adding forward analysis to new fix-point computation
test cases work again
change uses, defines, declares into caching attribute computations using kiama
remove debugging code
speed up computation in monotonefw