Added FSCheck tests.