So, at the time of program compilation, so we could not check this because we did not know what is the value of y.
எனவே, ப்ரோக்ராம் தொகுப்பின் போது,   இதை சரிபார்க்க முடியவில்லை, ஏனெனில் y-ன் மதிப்பு என்னவென்று தெரியவில்லை.