runCmd (LiftToTopLevel fileName r c) (opt, gOpt)
  = runFunc $ liftToTopLevel opt gOpt fileName (r,c)
runCmd (LiftToTopLevel fileName r c) (opt, gOpt)
  = runFunc $ liftToTopLevel opt gOpt fileName (r,c)
runCmd (LiftToTopLevel fileName r c) (opt, gOpt)
  = runFunc $ liftToTopLevel opt gOpt fileName (r,c)