Using variables within range repetition expression in e

 Hi.

I am facing some problems with using var in  range repetition expression.

I have the next code :

a : unit;

b : uint;

keep b == a + 1234;

event e1;

event e2;

expect {@e1;[a]*@clk} => @e2 ; //  <== this works !

 expect {@e1;[a..b]*@clk} => @e2 ; //  <== this doesn't work !

I am geting the next error : 

 *** Error: first match variable repeat can only be used inside a sequence

Why ? does cadence supports such usage of the range repetition expresion ?

How do you recomend to workaround this problem ? (well beside the obivuos solution to replace it with TCM).

Regards,

E.M.