Haga que la prueba de terminación automática use una función de tamaño diferente

He escrito una función de tamaño personalizadosize2 para mi tipo de datos Usando esta función, puedo probar manualmente la terminación de mi función:

termination 
apply (relation "measure (λ(a,b,c). size2 c)")
apply auto
done

¿Hay alguna manera de hacerfun ¿uso mi función de tamaño alternativo para la prueba de terminación automática?