proc cyclicTree(n: PNode): bool {...}{.raises: [], tags: [].}

proc exprStructuralEquivalent(a, b: PNode; strictSymEquality = false): bool {...}{.
    raises: [], tags: [].}

proc sameTree(a, b: PNode): bool {...}{.raises: [], tags: [].}

proc getMagic(op: PNode): TMagic {...}{.raises: [], tags: [].}

proc isConstExpr(n: PNode): bool {...}{.raises: [], tags: [].}

proc isCaseObj(n: PNode): bool {...}{.raises: [], tags: [].}

proc isDeepConstExpr(n: PNode; preventInheritance = false): bool {...}{.raises: [],
    tags: [].}

proc isRange(n: PNode): bool {...}{.inline, raises: [], tags: [].}

proc whichPragma(n: PNode): TSpecialWord {...}{.raises: [], tags: [].}

proc isNoSideEffectPragma(n: PNode): bool {...}{.raises: [], tags: [].}

proc findPragma(n: PNode; which: TSpecialWord): PNode {...}{.raises: [], tags: [].}

proc effectSpec(n: PNode; effectType: TSpecialWord): PNode {...}{.raises: [],
    tags: [].}

proc propSpec(n: PNode; effectType: TSpecialWord): PNode {...}{.raises: [], tags: [].}

proc flattenStmts(n: PNode): PNode {...}{.raises: [], tags: [].}

proc extractRange(k: TNodeKind; n: PNode; a, b: int): PNode {...}{.raises: [],
    tags: [].}

proc isTrue(n: PNode): bool {...}{.raises: [], tags: [].}

proc getRoot(n: PNode): PSym {...}{.raises: [], tags: [].}

proc stupidStmtListExpr(n: PNode): bool {...}{.raises: [], tags: [].}

proc dontInlineConstant(orig, cnst: PNode): bool {...}{.inline, raises: [], tags: [].}