Update src/test/java/at/ac/tuwien/kr/alpha/MainTest.java
Update src/test/java/at/ac/tuwien/kr/alpha/MainTest.java

Co-authored-by: Antonius Weinzierl <365570c6e44179b601e90cc08fd7c5ab9f93d143@users.noreply.github.com>
AntoniusW/Alpha,alpha-asp/Alpha,alpha-asp/Alpha