Add some tests that should pass in the future