Model testing using Text.ParserCombinators.Expr