Modified strong reduction in combinatory logic