run Model.hs --test
