Added new tasks, enabled a test of the hypothesis checking function