-- error "Failed to get node content: unsupported node type"

generateDef :: CpdR.Definitions -> [([G S], G S)] -> (([G S], Name, [S]), ConsPDTree) -> Def
generateDef defs invocations ((gs, n, args), tree) =
  let body = generateGoalFromTree defs invocations tree args in
  let argsX = map Res.vident args in
  Def n argsX (E.postEval argsX body)
generateDef :: CpdR.Definitions -> [([G S], G S)] -> (([G S], Name, [S]), ConsPDTree) -> Def
generateDef defs invocations ((gs, n, args), tree) =
  let body = generateGoalFromTree defs invocations tree args in
  let argsX = map Res.vident args in
  Def n argsX (E.postEval argsX body)
generateDef defs invocations ((gs, n, args), tree) =
  let body = generateGoalFromTree defs invocations tree args in
  let argsX = map Res.vident args in
  Def n argsX (E.postEval argsX body)