value flow: bailout when variable is used in assignment to itself