Add a test case (currently tests nothing)