There is no longer a bounded lattice on abstract states
Fix error introduced in merge
Parameterize the forward flow analysis by an initial value