added jai-ext stats operation to gt-coverage