ts.check() is supposed to return empty list when no problems