fwReachability function invocation cover: all (simple) purity tests
green
WIP
cleanup (esp. object)
store/countingStore
revamped: new abstract lattice (prim,set), new conc lattice (value)