Verifying the correctness of flowcontrol cell mechanism