feat: Add Tests #22
Description
The encoding can analyze two models in the files pretzelSPA3_bad.json and contract_long.json.
Code modifications are tested by running the web interface and checking whether the created diagrams look similar.
Necessary are tests to check, whether the different encodings and transformations are correct.