Some refinements to TaskModel, and a test of the model