Data.SBV.Examples.Queries.CaseSplit
csDemo1
csDemo2