Complete tests except Contracts