private void substituteBuiltIns(Term clause)
    {
        TermWalker walk =
            TermWalkers.positionalWalker(new BuiltInTransformVisitor(interner, symbolTable, null, builtInTransform));
        walk.walk(clause);
    }
private void substituteBuiltIns(Term clause)
    {
        TermWalker walk =
            TermWalkers.positionalWalker(new BuiltInTransformVisitor(interner, symbolTable, null, builtInTransform));
        walk.walk(clause);
    }
private void substituteBuiltIns ( Term clause ) { TermWalker walk = TermWalkers . positionalWalker ( new BuiltInTransformVisitor ( interner , symbolTable , null , builtInTransform ) ) ; walk . walk ( clause ) ; }
Substitutes built-ins within a clause, with their built-in definitions.

@param clause The clause to transform.
Substitutes built - ins within a clause with their built - in definitions .