}
@Override
public Op transform(OpPropFunc opPropFunc, Op subOp)
{
PropFuncArg sArgs = opPropFunc.getSubjectArgs() ;
PropFuncArg oArgs = opPropFunc.getObjectArgs() ;
PropFuncArg sArgs2 = substitute(sArgs, binding) ;
PropFuncArg oArgs2 = substitute(oArgs, binding) ;
if ( sArgs2 == sArgs && oArgs2 == oArgs && opPropFunc.getSubOp() == subOp)
return super.transform(opPropFunc, subOp) ;
return new OpPropFunc(opPropFunc.getProperty(), sArgs2, oArgs2, subOp) ;
}