(Fa) | a is NOT equivalent to a, just consider the case where a does not hold at t=0, but at t=1, then Fa holds at t=0, but a does not. However, (Fa) | a is equivalent to Fa.

(Ga)|a is equivalent to a, but not equivalent to Ga, just consider the case where a holds at t=0 and is false for t>0.