Add tests to check that Compilation interfaces are implemented