Understanding expression coverage

I have this piece of code:

   reg marker;
   always@(posedge clk or negedge rst_n)
     if ( ~rst_n )
       marker <= 0;
     else
       if ( push_and_pushed )
         if ( ( ( framecount==0 ) && ( f_wdata[4:0] == 0 ) ) ||
              ( ( framecount >0 ) && ( framecount==sample0 ) ) )
           marker <= f_wdata;

And expression coverage tells me this:

I do not understand what situation it complains about.

T1=1 suggests framecount non-zero

T4=0 suggests framecount to be zero at the same time

What do I misinterpret here?