Added check-expects