adjusted warnings in tests to match with goblint