Programming.
that looks like: Error: Temporal properties were violated. Error: The following behavior constitutes a counter-example: State 1: <Initial predicate> /\ people = {"alice", "bob"} /\ sender = <<"alice", "alice">> /\ receiver = <<"bob", "bob">> /\ acc = [alice |-> 5, bob |-> 5] /\ amount = <<1, 1>> /\