Abstraction in Assertion-Based Test Oracles