{
@Override public Node subst( Node[] b )
{
List<Node> mappedArgs = new ArrayList<Node>();
for (YNode arg: args) mappedArgs.add( subst( arg, b ) );
Functor functor = new Functor( f, mappedArgs );
return Node.createUncachedLiteral( functor, "", FunctorDatatype.theFunctorDatatype );
}
private Node subst( YNode arg, Node[] b )
{