preparations for local driving

`MakeResult` action now makes results for all states. Sharing is exploited now in concrete analysis (not in "top-level cycle").
Next step: concrete analysis drives locally as possible without push/pop.
BTW: moving usage of sharing into concrete analyses improved performance (JIT?)