800 times: replaced ((x=ifAbrupt(x)&&isAbrupt(x)) with (isAbrupt(x=ifAbrupt(x)))