Resolution tests are added