unit test
test chooseWhenOtherwise
test where
rename package: model -> domain