Added state monad test + fix semantiek trees