argsWithOPTIONS :: ClaferArgs -> String -> ClaferArgs
argsWithOPTIONS    args'         model   =
  let 
    firstLine = case lines model of
                 [] -> ""
                 (s:_) -> s
    options = fromMaybe "" $ stripPrefix "//# OPTIONS " firstLine
  in
    either (const args') (mergeArgs args' . cmdArgsValue) $
               process (cmdArgsMode clafer) $ Language.Clafer.SplitJoin.splitArgs options
argsWithOPTIONS :: ClaferArgs -> String -> ClaferArgs
argsWithOPTIONS    args'         model   =
  let 
    firstLine = case lines model of
                 [] -> ""
                 (s:_) -> s
    options = fromMaybe "" $ stripPrefix "//# OPTIONS " firstLine
  in
    either (const args') (mergeArgs args' . cmdArgsValue) $
               process (cmdArgsMode clafer) $ Language.Clafer.SplitJoin.splitArgs options
argsWithOPTIONS    args'         model   =
  let 
    firstLine = case lines model of
                 [] -> ""
                 (s:_) -> s
    options = fromMaybe "" $ stripPrefix "//# OPTIONS " firstLine
  in
    either (const args') (mergeArgs args' . cmdArgsValue) $
               process (cmdArgsMode clafer) $ Language.Clafer.SplitJoin.splitArgs options