insertGet :: Gen AtomT -> IO Bool
insertGet a = do
    let prog = genInsert a >> genGet a
    res <- runOnNewAtomSpace prog
    case res of
        Just na -> return (na == a)
        Nothing -> error $ "Test Failed for atom: " ++ show a
insertGet :: Gen AtomT -> IO Bool
insertGet a = do
    let prog = genInsert a >> genGet a
    res <- runOnNewAtomSpace prog
    case res of
        Just na -> return (na == a)
        Nothing -> error $ "Test Failed for atom: " ++ show a
insertGet a = do
    let prog = genInsert a >> genGet a
    res <- runOnNewAtomSpace prog
    case res of
        Just na -> return (na == a)
        Nothing -> error $ "Test Failed for atom: " ++ show a