Added more check-expect