Add LazyCase and corresponding test