now processing implicit flows separately, i.e. always generating a new abstraction instead of propagating when running inside a conditional block