Test('Tokenstest',
At step = 0 : Count(Tokens( )) > 0;
At step = 0 : Count(Tokens(  start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   status = 1   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   status = 1   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   predicate = 'Foo'   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   predicate = 'Foo'   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   variable(name='Foo' value=0)   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   end = 90   variable(name='Foo' value=0)   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   end = 90   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   end = 90   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   predicate = 'Foo'   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   predicate = 'Foo'   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   variable(name='Foo' value=0)   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   status = 1   variable(name='Foo' value=0)   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   end = 90   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   end = 90   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   status = 1   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   status = 1   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   variable(name='Foo' value=0)   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   predicate = 'Foo'   variable(name='Foo' value=0)   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   end = 90   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   end = 90   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   status = 1   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   status = 1   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   predicate = 'Foo'   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  start = 30   variable(name='Foo' value=0)   predicate = 'Foo'   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   status = 1   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   status = 1   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   predicate = 'Foo'   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   predicate = 'Foo'   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   variable(name='Foo' value=0)   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   start = 30   variable(name='Foo' value=0)   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   start = 30   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   start = 30   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   predicate = 'Foo'   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   predicate = 'Foo'   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   variable(name='Foo' value=0)   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   status = 1   variable(name='Foo' value=0)   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   start = 30   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   start = 30   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   status = 1   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   status = 1   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   variable(name='Foo' value=0)   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   predicate = 'Foo'   variable(name='Foo' value=0)   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   start = 30   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   start = 30   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   status = 1   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   status = 1   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   predicate = 'Foo'   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  end = 90   variable(name='Foo' value=0)   predicate = 'Foo'   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   end = 90   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   end = 90   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   predicate = 'Foo'   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   predicate = 'Foo'   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   variable(name='Foo' value=0)   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   start = 30   variable(name='Foo' value=0)   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   start = 30   predicate = 'Foo'   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   start = 30   variable(name='Foo' value=0)   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   predicate = 'Foo'   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   predicate = 'Foo'   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   variable(name='Foo' value=0)   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   end = 90   variable(name='Foo' value=0)   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   start = 30   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   start = 30   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   end = 90   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   end = 90   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   variable(name='Foo' value=0)   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   predicate = 'Foo'   variable(name='Foo' value=0)   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   start = 30   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   start = 30   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   end = 90   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   end = 90   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   predicate = 'Foo'   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  status = 1   variable(name='Foo' value=0)   predicate = 'Foo'   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   end = 90   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   end = 90   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   status = 1   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   status = 1   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   variable(name='Foo' value=0)   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   start = 30   variable(name='Foo' value=0)   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   start = 30   status = 1   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   start = 30   variable(name='Foo' value=0)   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   status = 1   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   status = 1   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   variable(name='Foo' value=0)   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   end = 90   variable(name='Foo' value=0)   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   start = 30   end = 90   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   start = 30   variable(name='Foo' value=0)   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   end = 90   start = 30   variable(name='Foo' value=0)  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   end = 90   variable(name='Foo' value=0)   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   variable(name='Foo' value=0)   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   status = 1   variable(name='Foo' value=0)   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   start = 30   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   start = 30   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   end = 90   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   end = 90   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   status = 1   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  predicate = 'Foo'   variable(name='Foo' value=0)   status = 1   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   end = 90   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   end = 90   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   status = 1   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   status = 1   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   predicate = 'Foo'   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   start = 30   predicate = 'Foo'   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   start = 30   status = 1   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   start = 30   predicate = 'Foo'   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   status = 1   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   status = 1   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   predicate = 'Foo'   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   end = 90   predicate = 'Foo'   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   start = 30   end = 90   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   start = 30   predicate = 'Foo'   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   end = 90   start = 30   predicate = 'Foo'  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   end = 90   predicate = 'Foo'   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   predicate = 'Foo'   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   status = 1   predicate = 'Foo'   end = 90   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   start = 30   end = 90   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   start = 30   status = 1   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   end = 90   start = 30   status = 1  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   end = 90   status = 1   start = 30  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   status = 1   start = 30   end = 90  )) > 0;
At step = 0 : Count(Tokens(  variable(name='Foo' value=0)   predicate = 'Foo'   status = 1   end = 90   start = 30  )) > 0;

At step = 0 : {
  Count(Tokens(variable(name = 'Foo', value = 0))) > 0;
  Count(Tokens(predicate = 'Foo')) > 0;
  };
);
