Programming.
pc = <<"CheckAndWithdraw", "CheckAndWithdraw">> State 2: <Action line 55, col 27 to line 61, col 77 of module wire> /\ people = {"alice", "bob"} /\ sender = <<"alice", "alice">> /\ receiver = <<"bob", "bob">> /\ acc = [alice |-> 4, bob |-> 5] /\ amount = <<1, 1>> /\ pc = <<"CheckAndWithdraw",