use asRle in coverage method