add quickcheck for FlowRemoved
fix marshalling bug found by quickcheck
remove unneeded comment