Text this: Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates