Abstraction-guided Runtime Checking of Assertions on Lists