FlowAnalysis API changed, send a set of initial states
We don't need a bounded lattice
Use configurations
Initial configurations depend on the initial-term