【bug】outポートが複数ある場合、ref ポートからの入力値が使用する前に変更されてしまう場合がある #49

例えば以下のような場合，shの値が，shortageへの out を行うことによって，deriverへの out の前に変更されてしまう．

channel C2 {
    in available(av, update2(av2, sh)) == av2
    ref shortage(sh, update2(av2, sh))
    out deriver(dr:Tuple, update2(av2, sh)) == if(ge(snd(av2), lookup(sh, fst(av2))), 
                                                tuple(fst(av2), lookup(sh, fst(av2)), snd(av2) - lookup(sh, fst(av2))), 
                                                tuple(fst(av2), 0, snd(av2)))
    out shortage(s, update2(av2, sh)) == if(ge(snd(av2), lookup(s, fst(av2))), 
                                                insert(s, fst(av2), 0), 
                                                s)
}