getOptions :: String -> Bool -> IO Options
getOptions test keepLV = do
  let jf = "test-suite/" ++ test ++ "/" ++ test ++ ".j"
  let rf = "test-suite/" ++ test ++ "/" ++ test ++ ".r"
  j <- IO.readFile jf
  r <- IO.readFile rf
  return defaultOptions { inputFileJ = (jf, j)
                        , inputFileR = (rf, r)
                        , keepLV     = keepLV
                        }
getOptions :: String -> Bool -> IO Options
getOptions test keepLV = do
  let jf = "test-suite/" ++ test ++ "/" ++ test ++ ".j"
  let rf = "test-suite/" ++ test ++ "/" ++ test ++ ".r"
  j <- IO.readFile jf
  r <- IO.readFile rf
  return defaultOptions { inputFileJ = (jf, j)
                        , inputFileR = (rf, r)
                        , keepLV     = keepLV
                        }
getOptions test keepLV = do
  let jf = "test-suite/" ++ test ++ "/" ++ test ++ ".j"
  let rf = "test-suite/" ++ test ++ "/" ++ test ++ ".r"
  j <- IO.readFile jf
  r <- IO.readFile rf
  return defaultOptions { inputFileJ = (jf, j)
                        , inputFileR = (rf, r)
                        , keepLV     = keepLV
                        }