value flow: Readded safety check that tok->astOperand1() is not NULL