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 .