Rule fired: SPEC/T17366_AR test @(Eff es) (T17366_AR)
Rule fired: SPEC/T17366_AR test @(Eff es) (T17366_AR)
Rule fired: SPEC/T17366_AR test @(Eff es) (T17366_AR)
Rule fired: SPEC/T17366_AR smallTest @(Eff es) (T17366_AR)
Rule fired: SPEC/T17366_AR smallTest @(Eff es) (T17366_AR)
Rule fired: SPEC/T17366_AR smallTest @(Eff es) (T17366_AR)