I have never listed the value of my inchoate pension. I could die before I am old enough to claim it. The company could go bust and I might not get the full value. You have two different issues - the pension he is drawing is income and needs to be reported. The pension he is not yet collecting doesn’t have to be.