Specify block delays

For a specify block , which has state dependent module path delays,
are the x transitions based on only the active statements or the
inactive statements too.

For example,

or (o1,i1,i2);
specify
if (a==2'b10) (i1,i2*>o1) (25,25);
if (a==2'b01 ) (i1=>o1 ) = (1,2);
if (a== 2'b00) (i2=>o1) = (3,4);
endspecify

Here lets say that , we have a change in o1 from 'x' to 1 or 0, but
how are we to decide , the x transitions( which states that , we are
to use the pessimisstic method )
we will have to choose the maximum possible time for any transition
from x to any state.

Thus here , the max possible transition from x to 1 is max possible
for 0->1 or z->1.