How to determine if this problem is decidable? I am currently stuck on the following problem:

Given a WHILE-program P and the knowledge that all input variales are set to 0, is it decidable if a specific instruction is reached 1000 times?

My intuition is that it is not decidable. Rice's theorem says that a non-trivial property of a program is always undicidable. But I am not sure if "a specific instruction is reached x times" even qualifies as a "property of a program". 

I am stuck on this for a while now, so I hope someone can give a hint where to look to find an answer to this problem. Thank you so much! All help is greatly apprechiated.
As Konstantin Vladimirov said in the comment: Consider you have this program. Take any while-program and put any instruction 1000 times just before halt. Next run your program and ask if this instruction will be reached 1000 times. Bingo, halting is solved.