Test language semantics

[X] In functions: pass by value of structs, maps, and contracts (i.e., parameters in functions are copies).
[X] In assignments: structs, maps and contracts are copied (i.e., assigned by value).
[X] In mutating functions: structs, maps and contracts are modified if they are the first parameter.
[ ] Augment the tests in try-catch.spec.ts with structs, maps, and contracts.
[ ] Check that && and || short-circuit.

[ ] Since contract copies can have their own state but still call contract functions, verify if this produces conflicting results with the original contract when calling library functions. This may include obtaining addresses, sending messages, etc.
[ ] Check that it is possible to update the state of the original contract using a contract copy.
[ ] Since messages are sent in a different phase, carry out tests that produce errors in the second phase for example.
[ ] Check injectivity of addresses: two contracts with the same code but different initial data have different addresses, two contracts with the same initial data but different code have different addresses.
[ ] Test sending messages with different sending modes.
[ ] Test that receive("foo") takes precedence over receive(s: String) { if (s == "foo") { ... } }

[ ] In the library documentation, many functions have notes and warnings describing some semantical behavior, test those.

tact-lang / tact