StableFlow.scala updated