test = do
    putStrLn "test"
    print $ runFD $ do
        vars@[a, b, c] <- news 3 (1, 9)
        a #== b * c
        labelling vars
test = do
    putStrLn "test"
    print $ runFD $ do
        vars@[a, b, c] <- news 3 (1, 9)
        a #== b * c
        labelling vars
test = do
    putStrLn "test"
    print $ runFD $ do
        vars@[a, b, c] <- news 3 (1, 9)
        a #== b * c
        labelling vars