Programming.
line 66, col 68 of module wire> /\ people = {"alice", "bob"} /\ sender = <<"alice", "alice">> /\ receiver = <<"bob", "bob">> /\ acc = [alice |-> 3, bob |-> 6] /\ amount = <<1, 1>> /\ pc = <<"Done", "Deposit">> State 5: Stuttering Finished checking temporal properties in 00s at 2019-01-17 23:07:00